Anne is rough. Erin is quiet. Harry is round. If Anne is red then Anne is quiet. All red things are big. Quiet, big things are round.
Anne is rough.
("Anne" "is" "rough" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Harry is round.
("Harry" "is" "round" "+")
If Anne is red then Anne is quiet.
((("Anne" "is" "red" "+")) -> ("Anne" "is" "quiet" "+"))
All red things are big.
((("something" "is" "red" "+")) -> ("something" "is" "big" "+"))
Quiet, big things are round.
((("something" "is" "quiet" "+") ("something" "is" "big" "+")) -> ("something" "is" "round" "+"))
Harry is round.
True
1
proof
[(triple3)]
("Harry" "is" "round" "+")
triple3
Erin is not quiet.
False
1
inv-proof
[(triple2)]
("Erin" "is" "quiet" "-")
triple2
Erin is not big.
Unknown
inv-rconc
[@1: Erin is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "big" "-")
Anne is green.
Unknown
random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "+")
@0: Anne is rough.[(triple1)] Erin is quiet.[(triple2)] Harry is round.[(triple3)]
Anne is rough.
("Anne" "is" "rough" "+")
triple1
Erin is quiet.
("Erin" "is" "quiet" "+")
triple2
Harry is round.
("Harry" "is" "round" "+")
triple3