Anne is white. Harry is big. Harry is young. If Harry is blue and Harry is round then Harry is not young.
Anne is white.
("Anne" "is" "white" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is young.
("Harry" "is" "young" "+")
If Harry is blue and Harry is round then Harry is not young.
((("Harry" "is" "blue" "+") ("Harry" "is" "round" "+")) -> ("Harry" "is" "young" "-"))
Harry is big.
True
1
proof
[(triple2)]
("Harry" "is" "big" "+")
triple2
Harry is not young.
False
1
inv-proof
[(triple3)]
("Harry" "is" "young" "-")
triple3
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Harry is white.
Unknown
random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "+")
@0: Anne is white.[(triple1)] Harry is big.[(triple2)] Harry is young.[(triple3)]
Anne is white.
("Anne" "is" "white" "+")
triple1
Harry is big.
("Harry" "is" "big" "+")
triple2
Harry is young.
("Harry" "is" "young" "+")
triple3