The cow is big. The cow is cold. The cow is red. If someone is green and not cold then they are not young.
The cow is big.
("cow" "is" "big" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is red.
("cow" "is" "red" "+")
If someone is green and not cold then they are not young.
((("someone" "is" "green" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "young" "-"))
The cow is big.
True
1
proof
[(triple1)]
("cow" "is" "big" "+")
triple1
The cow is not cold.
False
1
inv-proof
[(triple2)]
("cow" "is" "cold" "-")
triple2
The cow does not chase the cow.
Unknown
inv-random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "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 big.[(triple1)] The cow is cold.[(triple2)] The cow is red.[(triple3)]
The cow is big.
("cow" "is" "big" "+")
triple1
The cow is cold.
("cow" "is" "cold" "+")
triple2
The cow is red.
("cow" "is" "red" "+")
triple3