The cow is not big. The cow is blue. The cow is not cold. The cow is nice. The cow is not young. If the cow is blue and the cow is big then the cow is cold. If the cow is young then the cow is cold. Cold people are not nice.
The cow is not big.
("cow" "is" "big" "-")
The cow is blue.
("cow" "is" "blue" "+")
The cow is not cold.
("cow" "is" "cold" "-")
The cow is nice.
("cow" "is" "nice" "+")
The cow is not young.
("cow" "is" "young" "-")
If the cow is blue and the cow is big then the cow is cold.
((("cow" "is" "blue" "+") ("cow" "is" "big" "+")) -> ("cow" "is" "cold" "+"))
If the cow is young then the cow is cold.
((("cow" "is" "young" "+")) -> ("cow" "is" "cold" "+"))
Cold people are not nice.
((("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "-"))
The cow is blue.
True
1
proof
[(triple2)]
("cow" "is" "blue" "+")
triple2
The cow is big.
False
1
inv-proof
[(triple1)]
("cow" "is" "big" "+")
triple1
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 sees the cow.
Unknown
random
[@0: The cow sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cow" "+")
@0: The cow is blue.[(triple2)] The cow is nice.[(triple4)] The cow is not big.[(triple1)] The cow is not cold.[(triple3)] The cow is not young.[(triple5)]
The cow is blue.
("cow" "is" "blue" "+")
triple2
The cow is nice.
("cow" "is" "nice" "+")
triple4
The cow is not big.
("cow" "is" "big" "-")
triple1
The cow is not cold.
("cow" "is" "cold" "-")
triple3
The cow is not young.
("cow" "is" "young" "-")
triple5