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