The cow is not green. The cow is kind. The cow is nice. The cow is not rough. The cow is young. If something is green and not nice then it is not young. If something is rough and green then it is not kind.
The cow is not green.
("cow" "is" "green" "-")
The cow is kind.
("cow" "is" "kind" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is not rough.
("cow" "is" "rough" "-")
The cow is young.
("cow" "is" "young" "+")
If something is green and not nice then it is not young.
((("something" "is" "green" "+") ("something" "is" "nice" "~")) -> ("something" "is" "young" "-"))
If something is rough and green then it is not kind.
((("something" "is" "rough" "+") ("something" "is" "green" "+")) -> ("something" "is" "kind" "-"))
The cow is nice.
True
1
proof
[(triple3)]
("cow" "is" "nice" "+")
triple3
The cow is not young.
False
1
inv-proof
[(triple5)]
("cow" "is" "young" "-")
triple5
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 kind.[(triple2)] The cow is nice.[(triple3)] The cow is not green.[(triple1)] The cow is not rough.[(triple4)] The cow is young.[(triple5)]
The cow is kind.
("cow" "is" "kind" "+")
triple2
The cow is nice.
("cow" "is" "nice" "+")
triple3
The cow is not green.
("cow" "is" "green" "-")
triple1
The cow is not rough.
("cow" "is" "rough" "-")
triple4
The cow is young.
("cow" "is" "young" "+")
triple5