Anne is blue. Bob is round. Erin is blue. If Anne is round then Anne is quiet. Round, blue people are quiet. If Anne is smart then Anne is furry. If Bob is big then Bob is young. If Erin is furry and Erin is blue then Erin is big. Furry people are round.
Anne is blue.
("Anne" "is" "blue" "+")
Bob is round.
("Bob" "is" "round" "+")
Erin is blue.
("Erin" "is" "blue" "+")
If Anne is round then Anne is quiet.
((("Anne" "is" "round" "+")) -> ("Anne" "is" "quiet" "+"))
Round, blue people are quiet.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "quiet" "+"))
If Anne is smart then Anne is furry.
((("Anne" "is" "smart" "+")) -> ("Anne" "is" "furry" "+"))
If Bob is big then Bob is young.
((("Bob" "is" "big" "+")) -> ("Bob" "is" "young" "+"))
If Erin is furry and Erin is blue then Erin is big.
((("Erin" "is" "furry" "+") ("Erin" "is" "blue" "+")) -> ("Erin" "is" "big" "+"))
Furry people are round.
((("someone" "is" "furry" "+")) -> ("someone" "is" "round" "+"))
Erin is blue.
True
1
proof
[(triple3)]
("Erin" "is" "blue" "+")
triple3
Erin is not blue.
False
1
inv-proof
[(triple3)]
("Erin" "is" "blue" "-")
triple3
Anne is not round.
Unknown
inv-rconc
[@2: Anne is round.[CWA. Example of deepest failure = (rule6 <- rule3 <- FAIL)]]
("Anne" "is" "round" "-")
Bob is furry.
Unknown
random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "+")
@0: Anne is blue.[(triple1)] Bob is round.[(triple2)] Erin is blue.[(triple3)]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Bob is round.
("Bob" "is" "round" "+")
triple2
Erin is blue.
("Erin" "is" "blue" "+")
triple3