The cat is blue. The cat is cold. The cat is not green. The cat is nice. The cat is rough. If someone is cold and green then they are nice.
The cat is blue.
("cat" "is" "blue" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat is not green.
("cat" "is" "green" "-")
The cat is nice.
("cat" "is" "nice" "+")
The cat is rough.
("cat" "is" "rough" "+")
If someone is cold and green then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
The cat is nice.
True
1
proof
[(triple4)]
("cat" "is" "nice" "+")
triple4
The cat is not nice.
False
1
inv-proof
[(triple4)]
("cat" "is" "nice" "-")
triple4
The cat does not like the cat.
Unknown
inv-random
[@0: The cat likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cat" "-")
The cat chases the cat.
Unknown
random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cat" "+")
@0: The cat is blue.[(triple1)] The cat is cold.[(triple2)] The cat is nice.[(triple4)] The cat is not green.[(triple3)] The cat is rough.[(triple5)]
The cat is blue.
("cat" "is" "blue" "+")
triple1
The cat is cold.
("cat" "is" "cold" "+")
triple2
The cat is nice.
("cat" "is" "nice" "+")
triple4
The cat is not green.
("cat" "is" "green" "-")
triple3
The cat is rough.
("cat" "is" "rough" "+")
triple5