Bob is cold. Bob is kind. Bob is round. Erin is blue. Erin is kind. Erin is round. Fiona is blue. Fiona is kind. Fiona is rough. Fiona is round. Harry is blue. Harry is cold. Harry is rough. Harry is round. Harry is smart. Harry is white. If someone is kind then they are rough. Kind, rough people are smart.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is round.
("Bob" "is" "round" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is round.
("Erin" "is" "round" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is white.
("Harry" "is" "white" "+")
If someone is kind then they are rough.
((("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
Kind, rough people are smart.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "smart" "+"))
Fiona is rough.
True
1
proof
[(triple9 OR ((triple8) -> rule1))]
("Fiona" "is" "rough" "+")
triple9
((triple8) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is not round.
False
1
inv-proof
[(triple10)]
("Fiona" "is" "round" "-")
triple10
Erin is rough.
True
2
proof
[(((triple5) -> rule1))]
("Erin" "is" "rough" "+")
((triple5) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Fiona is not smart.
False
3
inv-proof
[(((triple8 triple9) -> rule2) OR ((triple8 ((triple8) -> rule1)) -> rule2))]
("Fiona" "is" "smart" "-")
((triple8 triple9) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((triple8 ((triple8) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Bob is smart.
True
4
proof
[(((triple2 ((triple2) -> rule1)) -> rule2))]
("Bob" "is" "smart" "+")
((triple2 ((triple2) -> (rule1 % int2))) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Erin is not smart.
False
4
inv-proof
[(((triple5 ((triple5) -> rule1)) -> rule2))]
("Erin" "is" "smart" "-")
((triple5 ((triple5) -> (rule1 % int2))) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Bob is not blue.
Unknown
inv-random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "-")
Erin is white.
Unknown
random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "+")
Fiona is not white.
Unknown
inv-random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "-")
Fiona is cold.
Unknown
random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "+")
Bob is not white.
Unknown
inv-random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
@0: Bob is cold.[(triple1)] Bob is kind.[(triple2)] Bob is round.[(triple3)] Erin is blue.[(triple4)] Erin is kind.[(triple5)] Erin is round.[(triple6)] Fiona is blue.[(triple7)] Fiona is kind.[(triple8)] Fiona is rough.[(triple9 OR ((triple8) -> rule1))] Fiona is round.[(triple10)] Harry is blue.[(triple11)] Harry is cold.[(triple12)] Harry is rough.[(triple13)] Harry is round.[(triple14)] Harry is smart.[(triple15)] Harry is white.[(triple16)] @1: Bob is rough.[(((triple2) -> rule1))] Erin is rough.[(((triple5) -> rule1))] Fiona is smart.[(((triple8 triple9) -> rule2) OR ((triple8 ((triple8) -> rule1)) -> rule2))] @2: Bob is smart.[(((triple2 ((triple2) -> rule1)) -> rule2))] Erin is smart.[(((triple5 ((triple5) -> rule1)) -> rule2))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple3
Erin is blue.
("Erin" "is" "blue" "+")
triple4
Erin is kind.
("Erin" "is" "kind" "+")
triple5
Erin is round.
("Erin" "is" "round" "+")
triple6
Fiona is blue.
("Fiona" "is" "blue" "+")
triple7
Fiona is kind.
("Fiona" "is" "kind" "+")
triple8
Fiona is rough.
("Fiona" "is" "rough" "+")
triple9
((triple8) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
triple10
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is cold.
("Harry" "is" "cold" "+")
triple12
Harry is rough.
("Harry" "is" "rough" "+")
triple13
Harry is round.
("Harry" "is" "round" "+")
triple14
Harry is smart.
("Harry" "is" "smart" "+")
triple15
Harry is white.
("Harry" "is" "white" "+")
triple16
Bob is rough.
("Bob" "is" "rough" "+")
((triple2) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
((triple5) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple8 triple9) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((triple8 ((triple8) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
((triple2 ((triple2) -> (rule1 % int2))) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
((triple5 ((triple5) -> (rule1 % int2))) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2