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