The cow is not cold. The cow is not nice. The cow is red. All nice people are cold. If someone is nice and not red then they are not young. If someone is kind and not red then they are nice.
The cow is not cold.
("cow" "is" "cold" "-")
The cow is not nice.
("cow" "is" "nice" "-")
The cow is red.
("cow" "is" "red" "+")
All nice people are cold.
((("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and not red then they are not young.
((("someone" "is" "nice" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "young" "-"))
If someone is kind and not red then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "nice" "+"))
The cow is not cold.
True
1
proof
[(triple1)]
("cow" "is" "cold" "-")
triple1
The cow is nice.
False
1
inv-proof
[(triple2)]
("cow" "is" "nice" "+")
triple2
The cow does not need the cow.
Unknown
inv-random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "-")
The cow eats the cow.
Unknown
random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "+")
@0: The cow is not cold.[(triple1)] The cow is not nice.[(triple2)] The cow is red.[(triple3)]
The cow is not cold.
("cow" "is" "cold" "-")
triple1
The cow is not nice.
("cow" "is" "nice" "-")
triple2
The cow is red.
("cow" "is" "red" "+")
triple3