Anne is big. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is white. Dave is cold. Erin is furry. All cold things are not nice.
Anne is big.
("Anne" "is" "big" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
All cold things are not nice.
((("something" "is" "cold" "+")) -> ("something" "is" "nice" "-"))
Charlie is nice.
True
1
proof
[(triple3)]
("Charlie" "is" "nice" "+")
triple3
Dave is not cold.
False
1
inv-proof
[(triple6)]
("Dave" "is" "cold" "-")
triple6
Dave is not nice.
True
2
proof
[(((triple6) -> rule1))]
("Dave" "is" "nice" "-")
((triple6) -> (rule1 % int1))
Dave is not nice.
("Dave" "is" "nice" "-")
int1
Dave is nice.
False
2
inv-proof
[(((triple6) -> rule1))]
("Dave" "is" "nice" "+")
((triple6) -> (rule1 % int1))
Dave is not nice.
("Dave" "is" "nice" "-")
int1
Charlie is not furry.
Unknown
inv-random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "-")
Anne is cold.
Unknown
random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "+")
Anne is not green.
Unknown
inv-random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "-")
Anne is furry.
Unknown
random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "+")
@0: Anne is big.[(triple1)] Charlie is green.[(triple2)] Charlie is nice.[(triple3)] Charlie is quiet.[(triple4)] Charlie is white.[(triple5)] Dave is cold.[(triple6)] Erin is furry.[(triple7)] @1: Dave is not nice.[(((triple6) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple4
Charlie is white.
("Charlie" "is" "white" "+")
triple5
Dave is cold.
("Dave" "is" "cold" "+")
triple6
Erin is furry.
("Erin" "is" "furry" "+")
triple7
Dave is not nice.
("Dave" "is" "nice" "-")
((triple6) -> (rule1 % int1))
Dave is not nice.
("Dave" "is" "nice" "-")
int1