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 sees the squirrel.
@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))]