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