Anne is cold. Anne is kind. Anne is quiet. Dave is not big. Dave is quiet. Dave is red. Dave is round. Dave is smart. Harry is big. Harry is cold. Harry is not quiet. Harry is not round. If something is smart and not quiet then it is not cold.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Dave is not big.
("Dave" "is" "big" "-")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is not quiet.
("Harry" "is" "quiet" "-")
Harry is not round.
("Harry" "is" "round" "-")
If something is smart and not quiet then it is not cold.
((("something" "is" "smart" "+") ("something" "is" "quiet" "~")) -> ("something" "is" "cold" "-"))
Anne is kind.
True
1
proof
[(triple2)]
("Anne" "is" "kind" "+")
triple2
Harry is round.
False
1
inv-proof
[(triple12)]
("Harry" "is" "round" "+")
triple12
Dave is not cold.
Unknown
inv-random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Anne is quiet.[(triple3)] Dave is not big.[(triple4)] Dave is quiet.[(triple5)] Dave is red.[(triple6)] Dave is round.[(triple7)] Dave is smart.[(triple8)] Harry is big.[(triple9)] Harry is cold.[(triple10)] Harry is not quiet.[(triple11)] Harry is not round.[(triple12)]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
Dave is not big.
("Dave" "is" "big" "-")
triple4
Dave is quiet.
("Dave" "is" "quiet" "+")
triple5
Dave is red.
("Dave" "is" "red" "+")
triple6
Dave is round.
("Dave" "is" "round" "+")
triple7
Dave is smart.
("Dave" "is" "smart" "+")
triple8
Harry is big.
("Harry" "is" "big" "+")
triple9
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Harry is not quiet.
("Harry" "is" "quiet" "-")
triple11
Harry is not round.
("Harry" "is" "round" "-")
triple12