Gary is red. Gary is rough. Gary is white. If Gary is quiet then Gary is white. White people are smart. If someone is rough and blue then they are red.
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is white.
("Gary" "is" "white" "+")
If Gary is quiet then Gary is white.
((("Gary" "is" "quiet" "+")) -> ("Gary" "is" "white" "+"))
White people are smart.
((("someone" "is" "white" "+")) -> ("someone" "is" "smart" "+"))
If someone is rough and blue then they are red.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
Gary is white.
True
1
proof
[(triple3)]
("Gary" "is" "white" "+")
triple3
Gary is not white.
False
1
inv-proof
[(triple3)]
("Gary" "is" "white" "-")
triple3
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Gary is quiet.
Unknown
random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "+")
@0: Gary is red.[(triple1)] Gary is rough.[(triple2)] Gary is white.[(triple3)] @1: Gary is smart.[(((triple3) -> rule2))]
Gary is red.
("Gary" "is" "red" "+")
triple1
Gary is rough.
("Gary" "is" "rough" "+")
triple2
Gary is white.
("Gary" "is" "white" "+")
triple3
Gary is smart.
("Gary" "is" "smart" "+")
((triple3) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1