Anne is rough. Anne is round. Anne is white. Bob is big. Bob is not white. Gary is quiet. Gary is white. Rough people are kind. If Gary is quiet then Gary is cold.
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is white.
("Anne" "is" "white" "+")
Bob is big.
("Bob" "is" "big" "+")
Bob is not white.
("Bob" "is" "white" "-")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is white.
("Gary" "is" "white" "+")
Rough people are kind.
((("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If Gary is quiet then Gary is cold.
((("Gary" "is" "quiet" "+")) -> ("Gary" "is" "cold" "+"))
Bob is not white.
True
1
proof
[(triple5)]
("Bob" "is" "white" "-")
triple5
Anne is not white.
False
1
inv-proof
[(triple3)]
("Anne" "is" "white" "-")
triple3
Gary is not kind.
Unknown
inv-rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "kind" "-")
Anne is big.
Unknown
random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "+")
@0: Anne is rough.[(triple1)] Anne is round.[(triple2)] Anne is white.[(triple3)] Bob is big.[(triple4)] Bob is not white.[(triple5)] Gary is quiet.[(triple6)] Gary is white.[(triple7)] @1: Anne is kind.[(((triple1) -> rule1))] Gary is cold.[(((triple6) -> rule2))]
Anne is rough.
("Anne" "is" "rough" "+")
triple1
Anne is round.
("Anne" "is" "round" "+")
triple2
Anne is white.
("Anne" "is" "white" "+")
triple3
Bob is big.
("Bob" "is" "big" "+")
triple4
Bob is not white.
("Bob" "is" "white" "-")
triple5
Gary is quiet.
("Gary" "is" "quiet" "+")
triple6
Gary is white.
("Gary" "is" "white" "+")
triple7
Anne is kind.
("Anne" "is" "kind" "+")
((triple1) -> (rule1 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((triple6) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1