Anne is round. Bob is red. Gary is not red. Harry is red. If Harry is quiet and Harry is rough then Harry is not furry.
Anne is round.
("Anne" "is" "round" "+")
Bob is red.
("Bob" "is" "red" "+")
Gary is not red.
("Gary" "is" "red" "-")
Harry is red.
("Harry" "is" "red" "+")
If Harry is quiet and Harry is rough then Harry is not furry.
((("Harry" "is" "quiet" "+") ("Harry" "is" "rough" "+")) -> ("Harry" "is" "furry" "-"))
Bob is red.
True
1
proof
[(triple2)]
("Bob" "is" "red" "+")
triple2
Bob is not red.
False
1
inv-proof
[(triple2)]
("Bob" "is" "red" "-")
triple2
Anne is not quiet.
Unknown
inv-random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
@0: Anne is round.[(triple1)] Bob is red.[(triple2)] Gary is not red.[(triple3)] Harry is red.[(triple4)]
Anne is round.
("Anne" "is" "round" "+")
triple1
Bob is red.
("Bob" "is" "red" "+")
triple2
Gary is not red.
("Gary" "is" "red" "-")
triple3
Harry is red.
("Harry" "is" "red" "+")
triple4