The cow is young. The squirrel eats the cow. The squirrel is not cold. The squirrel is green. The squirrel needs the tiger. The squirrel does not visit the cow. The tiger eats the cow. The tiger is big. The tiger is blue. The tiger is not cold. The tiger needs the cow. The tiger visits the cow. If the tiger needs the squirrel and the tiger eats the squirrel then the squirrel is cold. If something needs the squirrel and the squirrel eats the cow then the squirrel is green. If something eats the squirrel and it eats the tiger then the squirrel is green.
The cow is young.
("cow" "is" "young" "+")
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
The squirrel is not cold.
("squirrel" "is" "cold" "-")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
The squirrel does not visit the cow.
("squirrel" "visits" "cow" "-")
The tiger eats the cow.
("tiger" "eats" "cow" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is not cold.
("tiger" "is" "cold" "-")
The tiger needs the cow.
("tiger" "needs" "cow" "+")
The tiger visits the cow.
("tiger" "visits" "cow" "+")
If the tiger needs the squirrel and the tiger eats the squirrel then the squirrel is cold.
((("tiger" "needs" "squirrel" "+") ("tiger" "eats" "squirrel" "+")) -> ("squirrel" "is" "cold" "+"))
If something needs the squirrel and the squirrel eats the cow then the squirrel is green.
((("something" "needs" "squirrel" "+") ("squirrel" "eats" "cow" "+")) -> ("squirrel" "is" "green" "+"))
If something eats the squirrel and it eats the tiger then the squirrel is green.
((("something" "eats" "squirrel" "+") ("something" "eats" "tiger" "+")) -> ("squirrel" "is" "green" "+"))
The tiger is not cold.
True
1
proof
[(triple10)]
("tiger" "is" "cold" "-")
triple10
The squirrel is cold.
False
1
inv-proof
[(triple3)]
("squirrel" "is" "cold" "+")
triple3
The squirrel does not eat the squirrel.
Unknown
inv-random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "-")
The cow visits the squirrel.
Unknown
random
[@0: The cow visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "squirrel" "+")
@0: The cow is young.[(triple1)] The squirrel does not visit the cow.[(triple6)] The squirrel eats the cow.[(triple2)] The squirrel is green.[(triple4)] The squirrel is not cold.[(triple3)] The squirrel needs the tiger.[(triple5)] The tiger eats the cow.[(triple7)] The tiger is big.[(triple8)] The tiger is blue.[(triple9)] The tiger is not cold.[(triple10)] The tiger needs the cow.[(triple11)] The tiger visits the cow.[(triple12)]
The cow is young.
("cow" "is" "young" "+")
triple1
The squirrel does not visit the cow.
("squirrel" "visits" "cow" "-")
triple6
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
triple2
The squirrel is green.
("squirrel" "is" "green" "+")
triple4
The squirrel is not cold.
("squirrel" "is" "cold" "-")
triple3
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
triple5
The tiger eats the cow.
("tiger" "eats" "cow" "+")
triple7
The tiger is big.
("tiger" "is" "big" "+")
triple8
The tiger is blue.
("tiger" "is" "blue" "+")
triple9
The tiger is not cold.
("tiger" "is" "cold" "-")
triple10
The tiger needs the cow.
("tiger" "needs" "cow" "+")
triple11
The tiger visits the cow.
("tiger" "visits" "cow" "+")
triple12