Anne is quiet. Dave is kind. Erin is quiet. Harry is big. If Harry is green and Harry is not big then Harry is not cold.
Anne is quiet.
("Anne" "is" "quiet" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Harry is big.
("Harry" "is" "big" "+")
If Harry is green and Harry is not big then Harry is not cold.
((("Harry" "is" "green" "+") ("Harry" "is" "big" "~")) -> ("Harry" "is" "cold" "-"))
Harry is big.
True
1
proof
[(triple4)]
("Harry" "is" "big" "+")
triple4
Anne is not quiet.
False
1
inv-proof
[(triple1)]
("Anne" "is" "quiet" "-")
triple1
Dave is not green.
Unknown
inv-random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "-")
Erin is kind.
Unknown
random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "+")
@0: Anne is quiet.[(triple1)] Dave is kind.[(triple2)] Erin is quiet.[(triple3)] Harry is big.[(triple4)]
Anne is quiet.
("Anne" "is" "quiet" "+")
triple1
Dave is kind.
("Dave" "is" "kind" "+")
triple2
Erin is quiet.
("Erin" "is" "quiet" "+")
triple3
Harry is big.
("Harry" "is" "big" "+")
triple4