Charlie is blue. Charlie is furry. Charlie is nice. Charlie is round. Gary is blue. Gary is green. Gary is round. If Gary is rough and Gary is furry then Gary is green. All green, round things are not big.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is round.
("Gary" "is" "round" "+")
If Gary is rough and Gary is furry then Gary is green.
((("Gary" "is" "rough" "+") ("Gary" "is" "furry" "+")) -> ("Gary" "is" "green" "+"))
All green, round things are not big.
((("something" "is" "green" "+") ("something" "is" "round" "+")) -> ("something" "is" "big" "-"))
Gary is blue.
True
1
proof
[(triple5)]
("Gary" "is" "blue" "+")
triple5
Charlie is not furry.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "furry" "-")
triple2
Gary is not big.
True
3
proof
[(((triple6 triple7) -> rule2))]
("Gary" "is" "big" "-")
((triple6 triple7) -> (rule2 % int1))
Gary is not big.
("Gary" "is" "big" "-")
int1
Gary is big.
False
3
inv-proof
[(((triple6 triple7) -> rule2))]
("Gary" "is" "big" "+")
((triple6 triple7) -> (rule2 % int1))
Gary is not big.
("Gary" "is" "big" "-")
int1
Gary is not nice.
Unknown
inv-random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "-")
Gary is furry.
Unknown
random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "+")
Charlie is not rough.
Unknown
inv-random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
@0: Charlie is blue.[(triple1)] Charlie is furry.[(triple2)] Charlie is nice.[(triple3)] Charlie is round.[(triple4)] Gary is blue.[(triple5)] Gary is green.[(triple6)] Gary is round.[(triple7)] @1: Gary is not big.[(((triple6 triple7) -> rule2))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Charlie is furry.
("Charlie" "is" "furry" "+")
triple2
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Charlie is round.
("Charlie" "is" "round" "+")
triple4
Gary is blue.
("Gary" "is" "blue" "+")
triple5
Gary is green.
("Gary" "is" "green" "+")
triple6
Gary is round.
("Gary" "is" "round" "+")
triple7
Gary is not big.
("Gary" "is" "big" "-")
((triple6 triple7) -> (rule2 % int1))
Gary is not big.
("Gary" "is" "big" "-")
int1