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