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