The cow is not cold. The cow is nice. The cow is red. The cow is rough. The cow is not young. All nice, cold things are young.
The cow is not cold.
("cow" "is" "cold" "-")
The cow is nice.
("cow" "is" "nice" "+")
The cow is red.
("cow" "is" "red" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow is not young.
("cow" "is" "young" "-")
All nice, cold things are young.
((("something" "is" "nice" "+") ("something" "is" "cold" "+")) -> ("something" "is" "young" "+"))
The cow is not young.
True
1
proof
[(triple5)]
("cow" "is" "young" "-")
triple5
The cow is cold.
False
1
inv-proof
[(triple1)]
("cow" "is" "cold" "+")
triple1
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 nice.[(triple2)] The cow is not cold.[(triple1)] The cow is not young.[(triple5)] The cow is red.[(triple3)] The cow is rough.[(triple4)]
The cow is nice.
("cow" "is" "nice" "+")
triple2
The cow is not cold.
("cow" "is" "cold" "-")
triple1
The cow is not young.
("cow" "is" "young" "-")
triple5
The cow is red.
("cow" "is" "red" "+")
triple3
The cow is rough.
("cow" "is" "rough" "+")
triple4