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