Anne is round. Erin is big. Gary is furry. If something is blue then it is furry. If something is quiet then it is furry. If something is round then it is not furry. If Gary is blue then Gary is smart. If Erin is smart and Erin is quiet then Erin is round. If Erin is smart then Erin is not round.
Anne is round.
("Anne" "is" "round" "+")
Erin is big.
("Erin" "is" "big" "+")
Gary is furry.
("Gary" "is" "furry" "+")
If something is blue then it is furry.
((("something" "is" "blue" "+")) -> ("something" "is" "furry" "+"))
If something is quiet then it is furry.
((("something" "is" "quiet" "+")) -> ("something" "is" "furry" "+"))
If something is round then it is not furry.
((("something" "is" "round" "+")) -> ("something" "is" "furry" "-"))
If Gary is blue then Gary is smart.
((("Gary" "is" "blue" "+")) -> ("Gary" "is" "smart" "+"))
If Erin is smart and Erin is quiet then Erin is round.
((("Erin" "is" "smart" "+") ("Erin" "is" "quiet" "+")) -> ("Erin" "is" "round" "+"))
If Erin is smart then Erin is not round.
((("Erin" "is" "smart" "+")) -> ("Erin" "is" "round" "-"))
Anne is round.
True
1
proof
[(triple1)]
("Anne" "is" "round" "+")
triple1
Anne is not round.
False
1
inv-proof
[(triple1)]
("Anne" "is" "round" "-")
triple1
Erin is not furry.
Unknown
inv-rconc
[@1: Erin is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "furry" "-")
Anne is quiet.
Unknown
random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "+")
@0: Anne is round.[(triple1)] Erin is big.[(triple2)] Gary is furry.[(triple3)] @1: Anne is not furry.[(((triple1) -> rule3))]
Anne is round.
("Anne" "is" "round" "+")
triple1
Erin is big.
("Erin" "is" "big" "+")
triple2
Gary is furry.
("Gary" "is" "furry" "+")
triple3
Anne is not furry.
("Anne" "is" "furry" "-")
((triple1) -> (rule3 % int1))
Anne is not furry.
("Anne" "is" "furry" "-")
int1