Gary is not blue. Gary is quiet. Gary is round. Cold people are young. If Gary is rough then Gary is not young. If someone is young then they are cold. If someone is young and rough then they are not furry. If someone is rough then they are not round. If Gary is young and Gary is not cold then Gary is furry.
Gary is not blue.
("Gary" "is" "blue" "-")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is round.
("Gary" "is" "round" "+")
Cold people are young.
((("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If Gary is rough then Gary is not young.
((("Gary" "is" "rough" "+")) -> ("Gary" "is" "young" "-"))
If someone is young then they are cold.
((("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If someone is young and rough then they are not furry.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "furry" "-"))
If someone is rough then they are not round.
((("someone" "is" "rough" "+")) -> ("someone" "is" "round" "-"))
If Gary is young and Gary is not cold then Gary is furry.
((("Gary" "is" "young" "+") ("Gary" "is" "cold" "~")) -> ("Gary" "is" "furry" "+"))
Gary is quiet.
True
1
proof
[(triple2)]
("Gary" "is" "quiet" "+")
triple2
Gary is not quiet.
False
1
inv-proof
[(triple2)]
("Gary" "is" "quiet" "-")
triple2
Gary is not furry.
Unknown
inv-rconc
[@1: Gary is furry.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "furry" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
@0: Gary is not blue.[(triple1)] Gary is quiet.[(triple2)] Gary is round.[(triple3)]
Gary is not blue.
("Gary" "is" "blue" "-")
triple1
Gary is quiet.
("Gary" "is" "quiet" "+")
triple2
Gary is round.
("Gary" "is" "round" "+")
triple3