The cat is cold. Big things are cold.
The cat is cold.
("cat" "is" "cold" "+")
Big things are cold.
((("something" "is" "big" "+")) -> ("something" "is" "cold" "+"))
The cat is cold.
True
1
proof
[(triple1)]
("cat" "is" "cold" "+")
triple1
The cat is not cold.
False
1
inv-proof
[(triple1)]
("cat" "is" "cold" "-")
triple1
The cat is not big.
Unknown
inv-random
[@0: The cat is big.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "big" "-")
The cat is blue.
Unknown
random
[@0: The cat is blue.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "blue" "+")
@0: The cat is cold.[(triple1)]
The cat is cold.
("cat" "is" "cold" "+")
triple1