Charlie is red. Gary is red. All smart things are red.
Charlie is red.
("Charlie" "is" "red" "+")
Gary is red.
("Gary" "is" "red" "+")
All smart things are red.
((("something" "is" "smart" "+")) -> ("something" "is" "red" "+"))
Gary is red.
True
1
proof
[(triple2)]
("Gary" "is" "red" "+")
triple2
Gary is not red.
False
1
inv-proof
[(triple2)]
("Gary" "is" "red" "-")
triple2
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Gary is smart.
Unknown
random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "+")
@0: Charlie is red.[(triple1)] Gary is red.[(triple2)]
Charlie is red.
("Charlie" "is" "red" "+")
triple1
Gary is red.
("Gary" "is" "red" "+")
triple2