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