The cow is not big. The cow is kind. The cow is nice. The cow is red. The cow is young. If the cow is not red then the cow is young. Big, nice things are not young.
The cow is not big.
("cow" "is" "big" "-")
The cow is kind.
("cow" "is" "kind" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is red.
("cow" "is" "red" "+")
The cow is young.
("cow" "is" "young" "+")
If the cow is not red then the cow is young.
((("cow" "is" "red" "~")) -> ("cow" "is" "young" "+"))
Big, nice things are not young.
((("something" "is" "big" "+") ("something" "is" "nice" "+")) -> ("something" "is" "young" "-"))
The cow is red.
True
1
proof
[(triple4)]
("cow" "is" "red" "+")
triple4
The cow is not kind.
False
1
inv-proof
[(triple2)]
("cow" "is" "kind" "-")
triple2
The cow does not see the cow.
Unknown
inv-random
[@0: The cow sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cow" "-")
The cow likes the cow.
Unknown
random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "+")
@0: The cow is kind.[(triple2)] The cow is nice.[(triple3)] The cow is not big.[(triple1)] The cow is red.[(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 big.
("cow" "is" "big" "-")
triple1
The cow is red.
("cow" "is" "red" "+")
triple4
The cow is young.
("cow" "is" "young" "+")
triple5