Gary is big. Gary is blue. Gary is furry. Gary is green. Gary is nice. Gary is not quiet. Gary is white. Harry is green. Harry is quiet. Harry is white. If something is nice and not white then it is green.
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is not quiet.
("Gary" "is" "quiet" "-")
Gary is white.
("Gary" "is" "white" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is white.
("Harry" "is" "white" "+")
If something is nice and not white then it is green.
((("something" "is" "nice" "+") ("something" "is" "white" "~")) -> ("something" "is" "green" "+"))
Gary is furry.
True
1
proof
[(triple3)]
("Gary" "is" "furry" "+")
triple3
Gary is quiet.
False
1
inv-proof
[(triple6)]
("Gary" "is" "quiet" "+")
triple6
Harry is not nice.
Unknown
inv-random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
@0: Gary is big.[(triple1)] Gary is blue.[(triple2)] Gary is furry.[(triple3)] Gary is green.[(triple4)] Gary is nice.[(triple5)] Gary is not quiet.[(triple6)] Gary is white.[(triple7)] Harry is green.[(triple8)] Harry is quiet.[(triple9)] Harry is white.[(triple10)]
Gary is big.
("Gary" "is" "big" "+")
triple1
Gary is blue.
("Gary" "is" "blue" "+")
triple2
Gary is furry.
("Gary" "is" "furry" "+")
triple3
Gary is green.
("Gary" "is" "green" "+")
triple4
Gary is nice.
("Gary" "is" "nice" "+")
triple5
Gary is not quiet.
("Gary" "is" "quiet" "-")
triple6
Gary is white.
("Gary" "is" "white" "+")
triple7
Harry is green.
("Harry" "is" "green" "+")
triple8
Harry is quiet.
("Harry" "is" "quiet" "+")
triple9
Harry is white.
("Harry" "is" "white" "+")
triple10