The cat is cold. The cat is not green. The cat is kind. The cat is nice. The cat is young. If someone is green then they are not nice. All green people are nice.
The cat is cold.
("cat" "is" "cold" "+")
The cat is not green.
("cat" "is" "green" "-")
The cat is kind.
("cat" "is" "kind" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat is young.
("cat" "is" "young" "+")
If someone is green then they are not nice.
((("someone" "is" "green" "+")) -> ("someone" "is" "nice" "-"))
All green people are nice.
((("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
The cat is cold.
True
1
proof
[(triple1)]
("cat" "is" "cold" "+")
triple1
The cat is green.
False
1
inv-proof
[(triple2)]
("cat" "is" "green" "+")
triple2
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 cold.[(triple1)] The cat is kind.[(triple3)] The cat is nice.[(triple4)] The cat is not green.[(triple2)] The cat is young.[(triple5)]
The cat is cold.
("cat" "is" "cold" "+")
triple1
The cat is kind.
("cat" "is" "kind" "+")
triple3
The cat is nice.
("cat" "is" "nice" "+")
triple4
The cat is not green.
("cat" "is" "green" "-")
triple2
The cat is young.
("cat" "is" "young" "+")
triple5