The squirrel eats the tiger. The squirrel is big. The squirrel is green. 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 cold. The tiger is green. The tiger likes the squirrel. The tiger needs the squirrel. If someone is big then they like the squirrel. If someone is big then they need the squirrel. If someone likes the tiger then the tiger likes the squirrel. If the squirrel is green and the squirrel likes the tiger then the squirrel eats the tiger. If someone is big and cold then they need the tiger. If someone eats the tiger then the tiger needs the squirrel. If someone eats the tiger and the tiger needs the squirrel then the squirrel likes the tiger. If the tiger needs the squirrel then the squirrel needs the tiger.
The squirrel is big.
@0: The squirrel eats the tiger.[(triple1 OR ((triple3 triple6) -> rule4))] The squirrel is big.[(triple2)] The squirrel is green.[(triple3)] The squirrel is red.[(triple4)] The squirrel is young.[(triple5)] The squirrel likes the tiger.[(triple6 OR ((triple1 triple12) -> rule7) OR ((triple1 ((triple1) -> rule6)) -> rule7))] The squirrel needs the tiger.[(triple7 OR ((triple12) -> rule8) OR ((((triple1) -> rule6)) -> rule8) OR ((((((triple3 triple6) -> rule4)) -> rule6)) -> rule8))] The tiger eats the squirrel.[(triple8)] The tiger is cold.[(triple9)] The tiger is green.[(triple10)] The tiger likes the squirrel.[(triple11 OR ((triple6) -> rule3) OR ((((triple1 triple12) -> rule7)) -> rule3) OR ((((triple1 ((triple1) -> rule6)) -> rule7)) -> rule3))] The tiger needs the squirrel.[(triple12 OR ((triple1) -> rule6) OR ((((triple3 triple6) -> rule4)) -> rule6))] @1: The squirrel likes the squirrel.[(((triple2) -> rule1))] The squirrel needs the squirrel.[(((triple2) -> rule2))]