Anne is quiet. Charlie is not big. Dave is nice. Harry is young. If Harry is big and Harry is rough then Harry is nice.
Anne is quiet.
("Anne" "is" "quiet" "+")
Charlie is not big.
("Charlie" "is" "big" "-")
Dave is nice.
("Dave" "is" "nice" "+")
Harry is young.
("Harry" "is" "young" "+")
If Harry is big and Harry is rough then Harry is nice.
((("Harry" "is" "big" "+") ("Harry" "is" "rough" "+")) -> ("Harry" "is" "nice" "+"))
Charlie is not big.
True
1
proof
[(triple2)]
("Charlie" "is" "big" "-")
triple2
Harry is not young.
False
1
inv-proof
[(triple4)]
("Harry" "is" "young" "-")
triple4
Harry is not nice.
Unknown
inv-rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "nice" "-")
Anne is nice.
Unknown
random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "+")
@0: Anne is quiet.[(triple1)] Charlie is not big.[(triple2)] Dave is nice.[(triple3)] Harry is young.[(triple4)]
Anne is quiet.
("Anne" "is" "quiet" "+")
triple1
Charlie is not big.
("Charlie" "is" "big" "-")
triple2
Dave is nice.
("Dave" "is" "nice" "+")
triple3
Harry is young.
("Harry" "is" "young" "+")
triple4