Anne is big. Anne is furry. Anne is round. Anne is young. Erin is blue. Erin is furry. Erin is white. Harry is furry. Harry is round. Harry is white. All blue things are cold. If something is furry and round then it is blue.
Anne is big.
("Anne" "is" "big" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is young.
("Anne" "is" "young" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is white.
("Erin" "is" "white" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is white.
("Harry" "is" "white" "+")
All blue things are cold.
((("something" "is" "blue" "+")) -> ("something" "is" "cold" "+"))
If something is furry and round then it is blue.
((("something" "is" "furry" "+") ("something" "is" "round" "+")) -> ("something" "is" "blue" "+"))
Erin is furry.
True
1
proof
[(triple6)]
("Erin" "is" "furry" "+")
triple6
Harry is not furry.
False
1
inv-proof
[(triple8)]
("Harry" "is" "furry" "-")
triple8
Anne is blue.
True
3
proof
[(((triple2 triple3) -> rule2))]
("Anne" "is" "blue" "+")
((triple2 triple3) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Harry is not blue.
False
3
inv-proof
[(((triple8 triple9) -> rule2))]
("Harry" "is" "blue" "-")
((triple8 triple9) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is cold.
True
4
proof
[(((((triple8 triple9) -> rule2)) -> rule1))]
("Harry" "is" "cold" "+")
((((triple8 triple9) -> (rule2 % int2))) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Anne is not cold.
False
4
inv-proof
[(((((triple2 triple3) -> rule2)) -> rule1))]
("Anne" "is" "cold" "-")
((((triple2 triple3) -> (rule2 % int2))) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Erin is not young.
Unknown
inv-random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Erin is big.
Unknown
random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "+")
Erin is not round.
Unknown
inv-random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "-")
Anne is white.
Unknown
random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "+")
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is round.[(triple3)] Anne is young.[(triple4)] Erin is blue.[(triple5)] Erin is furry.[(triple6)] Erin is white.[(triple7)] Harry is furry.[(triple8)] Harry is round.[(triple9)] Harry is white.[(triple10)] @1: Anne is blue.[(((triple2 triple3) -> rule2))] Erin is cold.[(((triple5) -> rule1))] Harry is blue.[(((triple8 triple9) -> rule2))] @2: Anne is cold.[(((((triple2 triple3) -> rule2)) -> rule1))] Harry is cold.[(((((triple8 triple9) -> rule2)) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
Anne is young.
("Anne" "is" "young" "+")
triple4
Erin is blue.
("Erin" "is" "blue" "+")
triple5
Erin is furry.
("Erin" "is" "furry" "+")
triple6
Erin is white.
("Erin" "is" "white" "+")
triple7
Harry is furry.
("Harry" "is" "furry" "+")
triple8
Harry is round.
("Harry" "is" "round" "+")
triple9
Harry is white.
("Harry" "is" "white" "+")
triple10
Anne is blue.
("Anne" "is" "blue" "+")
((triple2 triple3) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
((triple5) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
((triple8 triple9) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
((((triple2 triple3) -> (rule2 % int2))) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
((((triple8 triple9) -> (rule2 % int2))) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2