Anne is blue. Anne is furry. Anne is white. All cold, white people are big. Nice, big people are white. Furry, white people are cold.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is white.
("Anne" "is" "white" "+")
All cold, white people are big.
((("someone" "is" "cold" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "big" "+"))
Nice, big people are white.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "white" "+"))
Furry, white people are cold.
((("someone" "is" "furry" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "cold" "+"))
Anne is white.
True
1
proof
[(triple3)]
("Anne" "is" "white" "+")
triple3
Anne is not white.
False
1
inv-proof
[(triple3)]
("Anne" "is" "white" "-")
triple3
Anne is cold.
True
3
proof
[(((triple2 triple3) -> rule3))]
("Anne" "is" "cold" "+")
((triple2 triple3) -> (rule3 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is not cold.
False
3
inv-proof
[(((triple2 triple3) -> rule3))]
("Anne" "is" "cold" "-")
((triple2 triple3) -> (rule3 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is big.
True
5
proof
[(((((triple2 triple3) -> rule3) triple3) -> rule1))]
("Anne" "is" "big" "+")
((((triple2 triple3) -> (rule3 % int2)) triple3) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is not big.
False
5
inv-proof
[(((((triple2 triple3) -> rule3) triple3) -> rule1))]
("Anne" "is" "big" "-")
((((triple2 triple3) -> (rule3 % int2)) triple3) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is not nice.
Unknown
inv-random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "-")
Anne is young.
Unknown
random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "+")
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is white.[(triple3)] @1: Anne is cold.[(((triple2 triple3) -> rule3))] @2: Anne is big.[(((((triple2 triple3) -> rule3) triple3) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is white.
("Anne" "is" "white" "+")
triple3
Anne is cold.
("Anne" "is" "cold" "+")
((triple2 triple3) -> (rule3 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
((((triple2 triple3) -> (rule3 % int2)) triple3) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2