Anne is big. Anne is blue. Anne is cold. Anne is furry. Anne is kind. Anne is rough. Anne is white. Erin is big. Erin is blue. Erin is furry. All cold, kind things are big.
Anne is big.
("Anne" "is" "big" "+")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is white.
("Anne" "is" "white" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
All cold, kind things are big.
((("something" "is" "cold" "+") ("something" "is" "kind" "+")) -> ("something" "is" "big" "+"))
Anne is furry.
True
1
proof
[(triple4)]
("Anne" "is" "furry" "+")
triple4
Anne is not blue.
False
1
inv-proof
[(triple2)]
("Anne" "is" "blue" "-")
triple2
Erin is not cold.
Unknown
inv-random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "-")
Erin is rough.
Unknown
random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "+")
@0: Anne is big.[(triple1 OR ((triple3 triple5) -> rule1))] Anne is blue.[(triple2)] Anne is cold.[(triple3)] Anne is furry.[(triple4)] Anne is kind.[(triple5)] Anne is rough.[(triple6)] Anne is white.[(triple7)] Erin is big.[(triple8)] Erin is blue.[(triple9)] Erin is furry.[(triple10)]
Anne is big.
("Anne" "is" "big" "+")
triple1
((triple3 triple5) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
triple2
Anne is cold.
("Anne" "is" "cold" "+")
triple3
Anne is furry.
("Anne" "is" "furry" "+")
triple4
Anne is kind.
("Anne" "is" "kind" "+")
triple5
Anne is rough.
("Anne" "is" "rough" "+")
triple6
Anne is white.
("Anne" "is" "white" "+")
triple7
Erin is big.
("Erin" "is" "big" "+")
triple8
Erin is blue.
("Erin" "is" "blue" "+")
triple9
Erin is furry.
("Erin" "is" "furry" "+")
triple10