The squirrel eats the tiger. The squirrel is blue. The squirrel is red. The squirrel is round. The squirrel is young. The squirrel likes the tiger. The squirrel needs the tiger. The tiger eats the squirrel. The tiger is big. The tiger is blue. The tiger is red. The tiger is round. The tiger is young. The tiger likes the squirrel. The tiger needs the squirrel. If the tiger is round then the tiger is red.
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
If the tiger is round then the tiger is red.
((("tiger" "is" "round" "+")) -> ("tiger" "is" "red" "+"))
The tiger is blue.
True
1
proof
[(triple10)]
("tiger" "is" "blue" "+")
triple10
The squirrel is not blue.
False
1
inv-proof
[(triple2)]
("squirrel" "is" "blue" "-")
triple2
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 squirrel needs the squirrel.
Unknown
random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "+")
@0: The squirrel eats the tiger.[(triple1)] The squirrel is blue.[(triple2)] The squirrel is red.[(triple3)] The squirrel is round.[(triple4)] The squirrel is young.[(triple5)] The squirrel likes the tiger.[(triple6)] The squirrel needs the tiger.[(triple7)] The tiger eats the squirrel.[(triple8)] The tiger is big.[(triple9)] The tiger is blue.[(triple10)] The tiger is red.[(triple11 OR ((triple12) -> rule1))] The tiger is round.[(triple12)] The tiger is young.[(triple13)] The tiger likes the squirrel.[(triple14)] The tiger needs the squirrel.[(triple15)]
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
triple1
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple2
The squirrel is red.
("squirrel" "is" "red" "+")
triple3
The squirrel is round.
("squirrel" "is" "round" "+")
triple4
The squirrel is young.
("squirrel" "is" "young" "+")
triple5
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
triple6
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
triple7
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
triple8
The tiger is big.
("tiger" "is" "big" "+")
triple9
The tiger is blue.
("tiger" "is" "blue" "+")
triple10
The tiger is red.
("tiger" "is" "red" "+")
triple11
((triple12) -> (rule1 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The tiger is round.
("tiger" "is" "round" "+")
triple12
The tiger is young.
("tiger" "is" "young" "+")
triple13
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
triple14
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
triple15