Anne is white. Erin is young. Harry is young. If Anne is blue then Anne is green. If Anne is white then Anne is quiet.
Anne is white.
("Anne" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Harry is young.
("Harry" "is" "young" "+")
If Anne is blue then Anne is green.
((("Anne" "is" "blue" "+")) -> ("Anne" "is" "green" "+"))
If Anne is white then Anne is quiet.
((("Anne" "is" "white" "+")) -> ("Anne" "is" "quiet" "+"))
Erin is young.
True
1
proof
[(triple2)]
("Erin" "is" "young" "+")
triple2
Harry is not young.
False
1
inv-proof
[(triple3)]
("Harry" "is" "young" "-")
triple3
Anne is not green.
Unknown
inv-rconc
[@1: Anne is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "green" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
@0: Anne is white.[(triple1)] Erin is young.[(triple2)] Harry is young.[(triple3)] @1: Anne is quiet.[(((triple1) -> rule2))]
Anne is white.
("Anne" "is" "white" "+")
triple1
Erin is young.
("Erin" "is" "young" "+")
triple2
Harry is young.
("Harry" "is" "young" "+")
triple3
Anne is quiet.
("Anne" "is" "quiet" "+")
((triple1) -> (rule2 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1