The cow eats the squirrel. The cow is nice. The cow is red. The cow is rough. The cow needs the dog. The cow needs the squirrel. The cow sees the dog. The dog eats the cow. The dog eats the squirrel. The dog is big. The dog is rough. The dog needs the squirrel. The dog sees the cow. The squirrel eats the dog. The squirrel is red. The squirrel sees the cow. If the cow needs the squirrel and the squirrel is nice then the cow needs the dog.
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is red.
("cow" "is" "red" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow needs the dog.
("cow" "needs" "dog" "+")
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
The cow sees the dog.
("cow" "sees" "dog" "+")
The dog eats the cow.
("dog" "eats" "cow" "+")
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
The dog sees the cow.
("dog" "sees" "cow" "+")
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
If the cow needs the squirrel and the squirrel is nice then the cow needs the dog.
((("cow" "needs" "squirrel" "+") ("squirrel" "is" "nice" "+")) -> ("cow" "needs" "dog" "+"))
The cow sees the dog.
True
1
proof
[(triple7)]
("cow" "sees" "dog" "+")
triple7
The cow is not rough.
False
1
inv-proof
[(triple4)]
("cow" "is" "rough" "-")
triple4
The squirrel does not eat the cow.
Unknown
inv-random
[@0: The squirrel eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "cow" "-")
The cow sees the cow.
Unknown
random
[@0: The cow sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cow" "+")
@0: The cow eats the squirrel.[(triple1)] The cow is nice.[(triple2)] The cow is red.[(triple3)] The cow is rough.[(triple4)] The cow needs the dog.[(triple5)] The cow needs the squirrel.[(triple6)] The cow sees the dog.[(triple7)] The dog eats the cow.[(triple8)] The dog eats the squirrel.[(triple9)] The dog is big.[(triple10)] The dog is rough.[(triple11)] The dog needs the squirrel.[(triple12)] The dog sees the cow.[(triple13)] The squirrel eats the dog.[(triple14)] The squirrel is red.[(triple15)] The squirrel sees the cow.[(triple16)]
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple1
The cow is nice.
("cow" "is" "nice" "+")
triple2
The cow is red.
("cow" "is" "red" "+")
triple3
The cow is rough.
("cow" "is" "rough" "+")
triple4
The cow needs the dog.
("cow" "needs" "dog" "+")
triple5
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
triple6
The cow sees the dog.
("cow" "sees" "dog" "+")
triple7
The dog eats the cow.
("dog" "eats" "cow" "+")
triple8
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
triple9
The dog is big.
("dog" "is" "big" "+")
triple10
The dog is rough.
("dog" "is" "rough" "+")
triple11
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
triple12
The dog sees the cow.
("dog" "sees" "cow" "+")
triple13
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
triple14
The squirrel is red.
("squirrel" "is" "red" "+")
triple15
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
triple16