Anne is cold. Anne is not furry. Anne is not round. Gary is cold. Gary is furry. Gary is quiet. Gary is round. If Anne is round then Anne is quiet. Furry things are white.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is not furry.
("Anne" "is" "furry" "-")
Anne is not round.
("Anne" "is" "round" "-")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is round.
("Gary" "is" "round" "+")
If Anne is round then Anne is quiet.
((("Anne" "is" "round" "+")) -> ("Anne" "is" "quiet" "+"))
Furry things are white.
((("something" "is" "furry" "+")) -> ("something" "is" "white" "+"))
Gary is furry.
True
1
proof
[(triple5)]
("Gary" "is" "furry" "+")
triple5
Anne is not cold.
False
1
inv-proof
[(triple1)]
("Anne" "is" "cold" "-")
triple1
Gary is white.
True
2
proof
[(((triple5) -> rule2))]
("Gary" "is" "white" "+")
((triple5) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is not white.
False
2
inv-proof
[(((triple5) -> rule2))]
("Gary" "is" "white" "-")
((triple5) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Anne is not quiet.
Unknown
inv-rconc
[@1: Anne is quiet.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "quiet" "-")
Anne is white.
Unknown
rconc
[@1: Anne is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "white" "+")
Anne is not young.
Unknown
inv-random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
@0: Anne is cold.[(triple1)] Anne is not furry.[(triple2)] Anne is not round.[(triple3)] Gary is cold.[(triple4)] Gary is furry.[(triple5)] Gary is quiet.[(triple6)] Gary is round.[(triple7)] @1: Gary is white.[(((triple5) -> rule2))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is not furry.
("Anne" "is" "furry" "-")
triple2
Anne is not round.
("Anne" "is" "round" "-")
triple3
Gary is cold.
("Gary" "is" "cold" "+")
triple4
Gary is furry.
("Gary" "is" "furry" "+")
triple5
Gary is quiet.
("Gary" "is" "quiet" "+")
triple6
Gary is round.
("Gary" "is" "round" "+")
triple7
Gary is white.
("Gary" "is" "white" "+")
((triple5) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1