Charlie is furry. Charlie is nice. Charlie is red. Charlie is smart. Charlie is young. Gary is big. Gary is nice. Gary is red. Gary is smart. Gary is young. If someone is white then they are smart.
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is young.
("Gary" "is" "young" "+")
If someone is white then they are smart.
((("someone" "is" "white" "+")) -> ("someone" "is" "smart" "+"))
Gary is smart.
True
1
proof
[(triple9)]
("Gary" "is" "smart" "+")
triple9
Gary is not red.
False
1
inv-proof
[(triple8)]
("Gary" "is" "red" "-")
triple8
Charlie is not white.
Unknown
inv-random
[@0: Charlie is white.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "white" "-")
Gary is white.
Unknown
random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "+")
@0: Charlie is furry.[(triple1)] Charlie is nice.[(triple2)] Charlie is red.[(triple3)] Charlie is smart.[(triple4)] Charlie is young.[(triple5)] Gary is big.[(triple6)] Gary is nice.[(triple7)] Gary is red.[(triple8)] Gary is smart.[(triple9)] Gary is young.[(triple10)]
Charlie is furry.
("Charlie" "is" "furry" "+")
triple1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Charlie is smart.
("Charlie" "is" "smart" "+")
triple4
Charlie is young.
("Charlie" "is" "young" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple6
Gary is nice.
("Gary" "is" "nice" "+")
triple7
Gary is red.
("Gary" "is" "red" "+")
triple8
Gary is smart.
("Gary" "is" "smart" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple10