Anne is rough. Erin is quiet. Erin is red. If someone is blue and round then they are red. If Erin is red and Erin is big then Erin is young.
Anne is rough.
("Anne" "is" "rough" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is red.
("Erin" "is" "red" "+")
If someone is blue and round then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If Erin is red and Erin is big then Erin is young.
((("Erin" "is" "red" "+") ("Erin" "is" "big" "+")) -> ("Erin" "is" "young" "+"))
Erin is quiet.
True
1
proof
[(triple2)]
("Erin" "is" "quiet" "+")
triple2
Anne is not rough.
False
1
inv-proof
[(triple1)]
("Anne" "is" "rough" "-")
triple1
Erin is not young.
Unknown
inv-rconc
[@1: Erin is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "young" "-")
Erin is rough.
Unknown
random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "+")
@0: Anne is rough.[(triple1)] Erin is quiet.[(triple2)] Erin is red.[(triple3)]
Anne is rough.
("Anne" "is" "rough" "+")
triple1
Erin is quiet.
("Erin" "is" "quiet" "+")
triple2
Erin is red.
("Erin" "is" "red" "+")
triple3