Charlie is kind. Charlie is quiet. Erin is white. If someone is round and not big then they are not quiet. If someone is quiet then they are white.
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Erin is white.
("Erin" "is" "white" "+")
If someone is round and not big then they are not quiet.
((("someone" "is" "round" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "quiet" "-"))
If someone is quiet then they are white.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "white" "+"))
Erin is white.
True
1
proof
[(triple3)]
("Erin" "is" "white" "+")
triple3
Erin is not white.
False
1
inv-proof
[(triple3)]
("Erin" "is" "white" "-")
triple3
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
@0: Charlie is kind.[(triple1)] Charlie is quiet.[(triple2)] Erin is white.[(triple3)] @1: Charlie is white.[(((triple2) -> rule2))]
Charlie is kind.
("Charlie" "is" "kind" "+")
triple1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple2
Erin is white.
("Erin" "is" "white" "+")
triple3
Charlie is white.
("Charlie" "is" "white" "+")
((triple2) -> (rule2 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1