The squirrel eats the tiger. The squirrel is green. The squirrel is kind. The squirrel is nice. The squirrel is red. The squirrel is young. The squirrel likes the tiger. The squirrel needs the tiger. The tiger eats the squirrel. The tiger is green. The tiger is kind. The tiger is nice. The tiger is red. The tiger is young. The tiger likes the squirrel. The tiger needs the squirrel. If something eats the squirrel then it is young. If something likes the tiger then it likes the squirrel. If something needs the tiger then the tiger likes the squirrel. If something eats the squirrel then it is young. If something eats the squirrel and the squirrel needs the tiger then it eats the tiger. If the tiger likes the squirrel and the tiger is red then the squirrel is kind.
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
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 green.
("tiger" "is" "green" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
If something eats the squirrel then it is young.
((("something" "eats" "squirrel" "+")) -> ("something" "is" "young" "+"))
If something likes the tiger then it likes the squirrel.
((("something" "likes" "tiger" "+")) -> ("something" "likes" "squirrel" "+"))
If something needs the tiger then the tiger likes the squirrel.
((("something" "needs" "tiger" "+")) -> ("tiger" "likes" "squirrel" "+"))
If something eats the squirrel then it is young.
((("something" "eats" "squirrel" "+")) -> ("something" "is" "young" "+"))
If something eats the squirrel and the squirrel needs the tiger then it eats the tiger.
((("something" "eats" "squirrel" "+") ("squirrel" "needs" "tiger" "+")) -> ("something" "eats" "tiger" "+"))
If the tiger likes the squirrel and the tiger is red then the squirrel is kind.
((("tiger" "likes" "squirrel" "+") ("tiger" "is" "red" "+")) -> ("squirrel" "is" "kind" "+"))
The tiger is red.
True
1
proof
[(triple13)]
("tiger" "is" "red" "+")
triple13
The squirrel is not young.
False
1
inv-proof
[(triple6)]
("squirrel" "is" "young" "-")
triple6
The tiger does not need the tiger.
Unknown
inv-random
[@0: The tiger needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "tiger" "-")
The tiger likes the tiger.
Unknown
random
[@0: The tiger likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "tiger" "+")
@0: The squirrel eats the tiger.[(triple1)] The squirrel is green.[(triple2)] The squirrel is kind.[(triple3 OR ((triple15 triple13) -> rule6) OR ((((triple8) -> rule3) triple13) -> rule6))] The squirrel is nice.[(triple4)] The squirrel is red.[(triple5)] The squirrel is young.[(triple6)] The squirrel likes the tiger.[(triple7)] The squirrel needs the tiger.[(triple8)] The tiger eats the squirrel.[(triple9)] The tiger is green.[(triple10)] The tiger is kind.[(triple11)] The tiger is nice.[(triple12)] The tiger is red.[(triple13)] The tiger is young.[(triple14 OR ((triple9) -> rule1) OR ((triple9) -> rule4))] The tiger likes the squirrel.[(triple15 OR ((triple8) -> rule3))] The tiger needs the squirrel.[(triple16)] @1: The squirrel likes the squirrel.[(((triple7) -> rule2))] The tiger eats the tiger.[(((triple9 triple8) -> rule5))]
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
triple1
The squirrel is green.
("squirrel" "is" "green" "+")
triple2
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple3
((triple15 triple13) -> (rule6 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
((((triple8) -> (rule3 % int2)) triple13) -> (rule6 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
int2
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple4
The squirrel is red.
("squirrel" "is" "red" "+")
triple5
The squirrel is young.
("squirrel" "is" "young" "+")
triple6
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
triple7
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
triple8
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
triple9
The tiger is green.
("tiger" "is" "green" "+")
triple10
The tiger is kind.
("tiger" "is" "kind" "+")
triple11
The tiger is nice.
("tiger" "is" "nice" "+")
triple12
The tiger is red.
("tiger" "is" "red" "+")
triple13
The tiger is young.
("tiger" "is" "young" "+")
triple14
((triple9) -> (rule1 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
((triple9) -> (rule4 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
triple15
((triple8) -> (rule3 % int1))
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
int1
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
triple16
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
((triple7) -> (rule2 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
((triple9 triple8) -> (rule5 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1