The cow is not blue. The cow is green. The cow is not kind. The cow is not nice. The cow is not rough. Blue, nice things are rough. All nice, kind things are rough. Rough, green things are not blue. All blue things are kind. If the cow is kind and the cow is blue then the cow is not rough. If something is kind and nice then it is green. If something is blue and not nice then it is green. All kind things are not green.
The cow is not blue.
("cow" "is" "blue" "-")
The cow is green.
("cow" "is" "green" "+")
The cow is not kind.
("cow" "is" "kind" "-")
The cow is not nice.
("cow" "is" "nice" "-")
The cow is not rough.
("cow" "is" "rough" "-")
Blue, nice things are rough.
((("something" "is" "blue" "+") ("something" "is" "nice" "+")) -> ("something" "is" "rough" "+"))
All nice, kind things are rough.
((("something" "is" "nice" "+") ("something" "is" "kind" "+")) -> ("something" "is" "rough" "+"))
Rough, green things are not blue.
((("something" "is" "rough" "+") ("something" "is" "green" "+")) -> ("something" "is" "blue" "-"))
All blue things are kind.
((("something" "is" "blue" "+")) -> ("something" "is" "kind" "+"))
If the cow is kind and the cow is blue then the cow is not rough.
((("cow" "is" "kind" "+") ("cow" "is" "blue" "+")) -> ("cow" "is" "rough" "-"))
If something is kind and nice then it is green.
((("something" "is" "kind" "+") ("something" "is" "nice" "+")) -> ("something" "is" "green" "+"))
If something is blue and not nice then it is green.
((("something" "is" "blue" "+") ("something" "is" "nice" "~")) -> ("something" "is" "green" "+"))
All kind things are not green.
((("something" "is" "kind" "+")) -> ("something" "is" "green" "-"))
The cow is not blue.
True
1
proof
[(triple1)]
("cow" "is" "blue" "-")
triple1
The cow is nice.
False
1
inv-proof
[(triple4)]
("cow" "is" "nice" "+")
triple4
The cow does not like the cow.
Unknown
inv-random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "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 green.[(triple2)] The cow is not blue.[(triple1)] The cow is not kind.[(triple3)] The cow is not nice.[(triple4)] The cow is not rough.[(triple5)]
The cow is green.
("cow" "is" "green" "+")
triple2
The cow is not blue.
("cow" "is" "blue" "-")
triple1
The cow is not kind.
("cow" "is" "kind" "-")
triple3
The cow is not nice.
("cow" "is" "nice" "-")
triple4
The cow is not rough.
("cow" "is" "rough" "-")
triple5