The squirrel is big. The squirrel is cold. The squirrel is rough. The squirrel is young. The squirrel likes the tiger. The squirrel needs the tiger. The squirrel sees the tiger. The tiger is big. The tiger is cold. The tiger is rough. The tiger is round. The tiger likes the squirrel. If something sees the tiger and the tiger is young then the tiger needs the squirrel. If something is rough and big then it sees the tiger. If something is round and it sees the squirrel then it is young. If something is cold then it sees the tiger. If something needs the squirrel then it sees the squirrel. If something sees the squirrel then it sees the tiger. If the tiger is rough then the tiger sees the squirrel. If something is big then it sees the squirrel.
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
If something sees the tiger and the tiger is young then the tiger needs the squirrel.
((("something" "sees" "tiger" "+") ("tiger" "is" "young" "+")) -> ("tiger" "needs" "squirrel" "+"))
If something is rough and big then it sees the tiger.
((("something" "is" "rough" "+") ("something" "is" "big" "+")) -> ("something" "sees" "tiger" "+"))
If something is round and it sees the squirrel then it is young.
((("something" "is" "round" "+") ("something" "sees" "squirrel" "+")) -> ("something" "is" "young" "+"))
If something is cold then it sees the tiger.
((("something" "is" "cold" "+")) -> ("something" "sees" "tiger" "+"))
If something needs the squirrel then it sees the squirrel.
((("something" "needs" "squirrel" "+")) -> ("something" "sees" "squirrel" "+"))
If something sees the squirrel then it sees the tiger.
((("something" "sees" "squirrel" "+")) -> ("something" "sees" "tiger" "+"))
If the tiger is rough then the tiger sees the squirrel.
((("tiger" "is" "rough" "+")) -> ("tiger" "sees" "squirrel" "+"))
If something is big then it sees the squirrel.
((("something" "is" "big" "+")) -> ("something" "sees" "squirrel" "+"))
The squirrel is big.
True
1
proof
[(triple1)]
("squirrel" "is" "big" "+")
triple1
The squirrel is not big.
False
1
inv-proof
[(triple1)]
("squirrel" "is" "big" "-")
triple1
The squirrel sees the squirrel.
True
2
proof
[(((triple1) -> rule8))]
("squirrel" "sees" "squirrel" "+")
((triple1) -> (rule8 % int1))
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int1
The squirrel does not see the squirrel.
False
2
inv-proof
[(((triple1) -> rule8))]
("squirrel" "sees" "squirrel" "-")
((triple1) -> (rule8 % int1))
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int1
The tiger is young.
True
4
proof
[(((triple11 ((triple10) -> rule7)) -> rule3) OR ((triple11 ((triple8) -> rule8)) -> rule3))]
("tiger" "is" "young" "+")
((triple11 ((triple10) -> (rule7 % int2))) -> (rule3 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int2
((triple11 ((triple8) -> (rule8 % int2))) -> (rule3 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int2
The tiger is not young.
False
4
inv-proof
[(((triple11 ((triple10) -> rule7)) -> rule3) OR ((triple11 ((triple8) -> rule8)) -> rule3))]
("tiger" "is" "young" "-")
((triple11 ((triple10) -> (rule7 % int2))) -> (rule3 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int2
((triple11 ((triple8) -> (rule8 % int2))) -> (rule3 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int2
The tiger needs the squirrel.
True
6
proof
[(((triple7 ((triple11 ((triple10) -> rule7)) -> rule3)) -> rule1) OR ((triple7 ((triple11 ((triple8) -> rule8)) -> rule3)) -> rule1) OR ((((triple2) -> rule4) ((triple11 ((triple10) -> rule7)) -> rule3)) -> rule1) OR ((((triple2) -> rule4) ((triple11 ((triple8) -> rule8)) -> rule3)) -> rule1) OR ((((triple9) -> rule4) ((triple11 ((triple10) -> rule7)) -> rule3)) -> rule1) OR ((((triple9) -> rule4) ((triple11 ((triple8) -> rule8)) -> rule3)) -> rule1) OR ((((triple10 triple8) -> rule2) ((triple11 ((triple10) -> rule7)) -> rule3)) -> rule1) OR ((((triple10 triple8) -> rule2) ((triple11 ((triple8) -> rule8)) -> rule3)) -> rule1) OR ((((triple3 triple1) -> rule2) ((triple11 ((triple10) -> rule7)) -> rule3)) -> rule1) OR ((((triple3 triple1) -> rule2) ((triple11 ((triple8) -> rule8)) -> rule3)) -> rule1) OR ((((((triple1) -> rule8)) -> rule6) ((triple11 ((triple10) -> rule7)) -> rule3)) -> rule1) OR ((((((triple1) -> rule8)) -> rule6) ((triple11 ((triple8) -> rule8)) -> rule3)) -> rule1) OR ((((((triple10) -> rule7)) -> rule6) ((triple11 ((triple10) -> rule7)) -> rule3)) -> rule1) OR ((((((triple10) -> rule7)) -> rule6) ((triple11 ((triple8) -> rule8)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8)) -> rule6) ((triple11 ((triple10) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8)) -> rule6) ((triple11 ((triple8) -> rule8)) -> rule3)) -> rule1))]
("tiger" "needs" "squirrel" "+")
((triple7 ((triple11 ((triple10) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int3
((triple7 ((triple11 ((triple8) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int3
((((triple2) -> (rule4 % int4)) ((triple11 ((triple10) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int3
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
int4
((((triple2) -> (rule4 % int4)) ((triple11 ((triple8) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int3
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
int4
((((triple9) -> (rule4 % int4)) ((triple11 ((triple10) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int3
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int4
((((triple9) -> (rule4 % int4)) ((triple11 ((triple8) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int3
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int4
((((triple10 triple8) -> (rule2 % int4)) ((triple11 ((triple10) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int3
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int4
((((triple10 triple8) -> (rule2 % int4)) ((triple11 ((triple8) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int3
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int4
((((triple3 triple1) -> (rule2 % int4)) ((triple11 ((triple10) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int3
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
int4
((((triple3 triple1) -> (rule2 % int4)) ((triple11 ((triple8) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int3
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
int4
((((((triple1) -> (rule8 % int5))) -> (rule6 % int4)) ((triple11 ((triple10) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int3
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
int4
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int5
((((((triple1) -> (rule8 % int5))) -> (rule6 % int4)) ((triple11 ((triple8) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int3
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
int4
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int5
((((((triple10) -> (rule7 % int4))) -> (rule6 % int3)) ((triple11 ((triple10) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int3
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int4
((((((triple10) -> (rule7 % int4))) -> (rule6 % int3)) ((triple11 ((triple8) -> (rule8 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int3
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int4
((((((triple8) -> (rule8 % int4))) -> (rule6 % int3)) ((triple11 ((triple10) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int3
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int4
((((((triple8) -> (rule8 % int4))) -> (rule6 % int3)) ((triple11 ((triple8) -> (rule8 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int3
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int4
The tiger does not need the squirrel.
False
6
inv-proof
[(((triple7 ((triple11 ((triple10) -> rule7)) -> rule3)) -> rule1) OR ((triple7 ((triple11 ((triple8) -> rule8)) -> rule3)) -> rule1) OR ((((triple2) -> rule4) ((triple11 ((triple10) -> rule7)) -> rule3)) -> rule1) OR ((((triple2) -> rule4) ((triple11 ((triple8) -> rule8)) -> rule3)) -> rule1) OR ((((triple9) -> rule4) ((triple11 ((triple10) -> rule7)) -> rule3)) -> rule1) OR ((((triple9) -> rule4) ((triple11 ((triple8) -> rule8)) -> rule3)) -> rule1) OR ((((triple10 triple8) -> rule2) ((triple11 ((triple10) -> rule7)) -> rule3)) -> rule1) OR ((((triple10 triple8) -> rule2) ((triple11 ((triple8) -> rule8)) -> rule3)) -> rule1) OR ((((triple3 triple1) -> rule2) ((triple11 ((triple10) -> rule7)) -> rule3)) -> rule1) OR ((((triple3 triple1) -> rule2) ((triple11 ((triple8) -> rule8)) -> rule3)) -> rule1) OR ((((((triple1) -> rule8)) -> rule6) ((triple11 ((triple10) -> rule7)) -> rule3)) -> rule1) OR ((((((triple1) -> rule8)) -> rule6) ((triple11 ((triple8) -> rule8)) -> rule3)) -> rule1) OR ((((((triple10) -> rule7)) -> rule6) ((triple11 ((triple10) -> rule7)) -> rule3)) -> rule1) OR ((((((triple10) -> rule7)) -> rule6) ((triple11 ((triple8) -> rule8)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8)) -> rule6) ((triple11 ((triple10) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8)) -> rule6) ((triple11 ((triple8) -> rule8)) -> rule3)) -> rule1))]
("tiger" "needs" "squirrel" "-")
((triple7 ((triple11 ((triple10) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int3
((triple7 ((triple11 ((triple8) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int3
((((triple2) -> (rule4 % int4)) ((triple11 ((triple10) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int3
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
int4
((((triple2) -> (rule4 % int4)) ((triple11 ((triple8) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int3
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
int4
((((triple9) -> (rule4 % int4)) ((triple11 ((triple10) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int3
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int4
((((triple9) -> (rule4 % int4)) ((triple11 ((triple8) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int3
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int4
((((triple10 triple8) -> (rule2 % int4)) ((triple11 ((triple10) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int3
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int4
((((triple10 triple8) -> (rule2 % int4)) ((triple11 ((triple8) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int3
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int4
((((triple3 triple1) -> (rule2 % int4)) ((triple11 ((triple10) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int3
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
int4
((((triple3 triple1) -> (rule2 % int4)) ((triple11 ((triple8) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int3
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
int4
((((((triple1) -> (rule8 % int5))) -> (rule6 % int4)) ((triple11 ((triple10) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int3
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
int4
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int5
((((((triple1) -> (rule8 % int5))) -> (rule6 % int4)) ((triple11 ((triple8) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int3
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
int4
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int5
((((((triple10) -> (rule7 % int4))) -> (rule6 % int3)) ((triple11 ((triple10) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int3
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int4
((((((triple10) -> (rule7 % int4))) -> (rule6 % int3)) ((triple11 ((triple8) -> (rule8 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int3
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int4
((((((triple8) -> (rule8 % int4))) -> (rule6 % int3)) ((triple11 ((triple10) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int3
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int4
((((((triple8) -> (rule8 % int4))) -> (rule6 % int3)) ((triple11 ((triple8) -> (rule8 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int3
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int4
The squirrel does not need the squirrel.
Unknown
inv-random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "-")
The tiger needs the tiger.
Unknown
random
[@0: The tiger needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "tiger" "+")
The squirrel is not round.
Unknown
inv-random
[@0: The squirrel is round.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "round" "-")
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 is big.[(triple1)] The squirrel is cold.[(triple2)] The squirrel is rough.[(triple3)] The squirrel is young.[(triple4)] The squirrel likes the tiger.[(triple5)] The squirrel needs the tiger.[(triple6)] The squirrel sees the tiger.[(triple7 OR ((triple2) -> rule4) OR ((triple3 triple1) -> rule2) OR ((((triple1) -> rule8)) -> rule6))] The tiger is big.[(triple8)] The tiger is cold.[(triple9)] The tiger is rough.[(triple10)] The tiger is round.[(triple11)] The tiger likes the squirrel.[(triple12)] @1: The squirrel sees the squirrel.[(((triple1) -> rule8))] The tiger sees the squirrel.[(((triple10) -> rule7) OR ((triple8) -> rule8))] The tiger sees the tiger.[(((triple9) -> rule4) OR ((triple10 triple8) -> rule2) OR ((((triple10) -> rule7)) -> rule6) OR ((((triple8) -> rule8)) -> rule6))] @2: The tiger is young.[(((triple11 ((triple10) -> rule7)) -> rule3) OR ((triple11 ((triple8) -> rule8)) -> rule3))] @3: The tiger needs the squirrel.[(((triple7 ((triple11 ((triple10) -> rule7)) -> rule3)) -> rule1) OR ((triple7 ((triple11 ((triple8) -> rule8)) -> rule3)) -> rule1) OR ((((triple2) -> rule4) ((triple11 ((triple10) -> rule7)) -> rule3)) -> rule1) OR ((((triple2) -> rule4) ((triple11 ((triple8) -> rule8)) -> rule3)) -> rule1) OR ((((triple9) -> rule4) ((triple11 ((triple10) -> rule7)) -> rule3)) -> rule1) OR ((((triple9) -> rule4) ((triple11 ((triple8) -> rule8)) -> rule3)) -> rule1) OR ((((triple10 triple8) -> rule2) ((triple11 ((triple10) -> rule7)) -> rule3)) -> rule1) OR ((((triple10 triple8) -> rule2) ((triple11 ((triple8) -> rule8)) -> rule3)) -> rule1) OR ((((triple3 triple1) -> rule2) ((triple11 ((triple10) -> rule7)) -> rule3)) -> rule1) OR ((((triple3 triple1) -> rule2) ((triple11 ((triple8) -> rule8)) -> rule3)) -> rule1) OR ((((((triple1) -> rule8)) -> rule6) ((triple11 ((triple10) -> rule7)) -> rule3)) -> rule1) OR ((((((triple1) -> rule8)) -> rule6) ((triple11 ((triple8) -> rule8)) -> rule3)) -> rule1) OR ((((((triple10) -> rule7)) -> rule6) ((triple11 ((triple10) -> rule7)) -> rule3)) -> rule1) OR ((((((triple10) -> rule7)) -> rule6) ((triple11 ((triple8) -> rule8)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8)) -> rule6) ((triple11 ((triple10) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8)) -> rule6) ((triple11 ((triple8) -> rule8)) -> rule3)) -> rule1))]
The squirrel is big.
("squirrel" "is" "big" "+")
triple1
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple2
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple3
The squirrel is young.
("squirrel" "is" "young" "+")
triple4
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
triple5
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
triple6
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
triple7
((triple2) -> (rule4 % int1))
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
int1
((triple3 triple1) -> (rule2 % int1))
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
int1
((((triple1) -> (rule8 % int2))) -> (rule6 % int1))
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
int1
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int2
The tiger is big.
("tiger" "is" "big" "+")
triple8
The tiger is cold.
("tiger" "is" "cold" "+")
triple9
The tiger is rough.
("tiger" "is" "rough" "+")
triple10
The tiger is round.
("tiger" "is" "round" "+")
triple11
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
triple12
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
((triple1) -> (rule8 % int1))
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int1
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
((triple10) -> (rule7 % int1))
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int1
((triple8) -> (rule8 % int1))
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int1
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
((triple9) -> (rule4 % int1))
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int1
((triple10 triple8) -> (rule2 % int1))
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int1
((((triple10) -> (rule7 % int2))) -> (rule6 % int1))
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int1
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int2
((((triple8) -> (rule8 % int2))) -> (rule6 % int1))
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int1
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int2
The tiger is young.
("tiger" "is" "young" "+")
((triple11 ((triple10) -> (rule7 % int2))) -> (rule3 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int2
((triple11 ((triple8) -> (rule8 % int2))) -> (rule3 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int2
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
((triple7 ((triple11 ((triple10) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int3
((triple7 ((triple11 ((triple8) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int3
((((triple2) -> (rule4 % int4)) ((triple11 ((triple10) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int3
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
int4
((((triple2) -> (rule4 % int4)) ((triple11 ((triple8) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int3
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
int4
((((triple9) -> (rule4 % int4)) ((triple11 ((triple10) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int3
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int4
((((triple9) -> (rule4 % int4)) ((triple11 ((triple8) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int3
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int4
((((triple10 triple8) -> (rule2 % int4)) ((triple11 ((triple10) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int3
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int4
((((triple10 triple8) -> (rule2 % int4)) ((triple11 ((triple8) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int3
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int4
((((triple3 triple1) -> (rule2 % int4)) ((triple11 ((triple10) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int3
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
int4
((((triple3 triple1) -> (rule2 % int4)) ((triple11 ((triple8) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int3
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
int4
((((((triple1) -> (rule8 % int5))) -> (rule6 % int4)) ((triple11 ((triple10) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int3
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
int4
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int5
((((((triple1) -> (rule8 % int5))) -> (rule6 % int4)) ((triple11 ((triple8) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int3
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
int4
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int5
((((((triple10) -> (rule7 % int4))) -> (rule6 % int3)) ((triple11 ((triple10) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int3
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int4
((((((triple10) -> (rule7 % int4))) -> (rule6 % int3)) ((triple11 ((triple8) -> (rule8 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int3
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int4
((((((triple8) -> (rule8 % int4))) -> (rule6 % int3)) ((triple11 ((triple10) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int3
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int4
((((((triple8) -> (rule8 % int4))) -> (rule6 % int3)) ((triple11 ((triple8) -> (rule8 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int3
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
int4