The cow is cold. The cow is not kind. The cow is not red. The cow is not rough. The cow is round. If the cow is kind and the cow is cold then the cow is red. Round, kind things are red. If the cow is red then the cow is not round.
The cow is cold.
("cow" "is" "cold" "+")
The cow is not kind.
("cow" "is" "kind" "-")
The cow is not red.
("cow" "is" "red" "-")
The cow is not rough.
("cow" "is" "rough" "-")
The cow is round.
("cow" "is" "round" "+")
If the cow is kind and the cow is cold then the cow is red.
((("cow" "is" "kind" "+") ("cow" "is" "cold" "+")) -> ("cow" "is" "red" "+"))
Round, kind things are red.
((("something" "is" "round" "+") ("something" "is" "kind" "+")) -> ("something" "is" "red" "+"))
If the cow is red then the cow is not round.
((("cow" "is" "red" "+")) -> ("cow" "is" "round" "-"))
The cow is not rough.
True
1
proof
[(triple4)]
("cow" "is" "rough" "-")
triple4
The cow is rough.
False
1
inv-proof
[(triple4)]
("cow" "is" "rough" "+")
triple4
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 needs the cow.
Unknown
random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "+")
@0: The cow is cold.[(triple1)] The cow is not kind.[(triple2)] The cow is not red.[(triple3)] The cow is not rough.[(triple4)] The cow is round.[(triple5)]
The cow is cold.
("cow" "is" "cold" "+")
triple1
The cow is not kind.
("cow" "is" "kind" "-")
triple2
The cow is not red.
("cow" "is" "red" "-")
triple3
The cow is not rough.
("cow" "is" "rough" "-")
triple4
The cow is round.
("cow" "is" "round" "+")
triple5