Anne is not furry. Anne is red. Anne is white. Charlie is rough. Gary is kind. Gary is rough. Gary is white. If Gary is not cold then Gary is furry.
Anne is not furry.
("Anne" "is" "furry" "-")
Anne is red.
("Anne" "is" "red" "+")
Anne is white.
("Anne" "is" "white" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is white.
("Gary" "is" "white" "+")
If Gary is not cold then Gary is furry.
((("Gary" "is" "cold" "~")) -> ("Gary" "is" "furry" "+"))
Gary is white.
True
1
proof
[(triple7)]
("Gary" "is" "white" "+")
triple7
Anne is furry.
False
1
inv-proof
[(triple1)]
("Anne" "is" "furry" "+")
triple1
Gary is not furry.
Unknown
inv-rconc
[@1: Gary is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "furry" "-")
Anne is young.
Unknown
random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "+")
@0: Anne is not furry.[(triple1)] Anne is red.[(triple2)] Anne is white.[(triple3)] Charlie is rough.[(triple4)] Gary is kind.[(triple5)] Gary is rough.[(triple6)] Gary is white.[(triple7)]
Anne is not furry.
("Anne" "is" "furry" "-")
triple1
Anne is red.
("Anne" "is" "red" "+")
triple2
Anne is white.
("Anne" "is" "white" "+")
triple3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple4
Gary is kind.
("Gary" "is" "kind" "+")
triple5
Gary is rough.
("Gary" "is" "rough" "+")
triple6
Gary is white.
("Gary" "is" "white" "+")
triple7