The squirrel chases the tiger. The squirrel is blue. The squirrel is cold. The squirrel is rough. The squirrel is round. The squirrel is young. The squirrel needs the tiger. The squirrel visits the tiger. The tiger is rough. The tiger is round. The tiger needs the squirrel. The tiger visits the squirrel. If something needs the tiger and it is young then it chases the tiger. If something is rough and it chases the tiger then it needs the squirrel. If something is young then it needs the tiger. If something visits the tiger and it needs the squirrel then it visits the squirrel. If the tiger is cold and the tiger visits the squirrel then the squirrel visits the tiger. If something chases the tiger then it is rough.
The squirrel is young.
@0: The squirrel chases the tiger.[(triple1 OR ((triple7 triple6) -> rule1) OR ((((triple6) -> rule3) triple6) -> rule1))] The squirrel is blue.[(triple2)] The squirrel is cold.[(triple3)] The squirrel is rough.[(triple4 OR ((triple1) -> rule6) OR ((((triple7 triple6) -> rule1)) -> rule6) OR ((((((triple6) -> rule3) triple6) -> rule1)) -> rule6))] The squirrel is round.[(triple5)] The squirrel is young.[(triple6)] The squirrel needs the tiger.[(triple7 OR ((triple6) -> rule3))] The squirrel visits the tiger.[(triple8)] The tiger is rough.[(triple9)] The tiger is round.[(triple10)] The tiger needs the squirrel.[(triple11)] The tiger visits the squirrel.[(triple12)] @1: The squirrel needs the squirrel.[(((triple4 triple1) -> rule2) OR ((triple4 ((triple7 triple6) -> rule1)) -> rule2) OR ((((triple1) -> rule6) triple1) -> rule2) OR ((((triple1) -> rule6) ((triple7 triple6) -> rule1)) -> rule2) OR ((triple4 ((((triple6) -> rule3) triple6) -> rule1)) -> rule2) OR ((((((triple7 triple6) -> rule1)) -> rule6) triple1) -> rule2) OR ((((triple1) -> rule6) ((((triple6) -> rule3) triple6) -> rule1)) -> rule2) OR ((((((triple7 triple6) -> rule1)) -> rule6) ((triple7 triple6) -> rule1)) -> rule2) OR ((((((triple7 triple6) -> rule1)) -> rule6) ((((triple6) -> rule3) triple6) -> rule1)) -> rule2) OR ((((((((triple6) -> rule3) triple6) -> rule1)) -> rule6) triple1) -> rule2) OR ((((((((triple6) -> rule3) triple6) -> rule1)) -> rule6) ((triple7 triple6) -> rule1)) -> rule2) OR ((((((((triple6) -> rule3) triple6) -> rule1)) -> rule6) ((((triple6) -> rule3) triple6) -> rule1)) -> rule2))] @2: The squirrel visits the squirrel.[(((triple8 ((triple4 triple1) -> rule2)) -> rule4) OR ((triple8 ((triple4 ((triple7 triple6) -> rule1)) -> rule2)) -> rule4) OR ((triple8 ((((triple1) -> rule6) triple1) -> rule2)) -> rule4) OR ((triple8 ((((triple1) -> rule6) ((triple7 triple6) -> rule1)) -> rule2)) -> rule4) OR ((triple8 ((triple4 ((((triple6) -> rule3) triple6) -> rule1)) -> rule2)) -> rule4) OR ((triple8 ((((((triple7 triple6) -> rule1)) -> rule6) triple1) -> rule2)) -> rule4) OR ((triple8 ((((triple1) -> rule6) ((((triple6) -> rule3) triple6) -> rule1)) -> rule2)) -> rule4) OR ((triple8 ((((((triple7 triple6) -> rule1)) -> rule6) ((triple7 triple6) -> rule1)) -> rule2)) -> rule4) OR ((triple8 ((((((triple7 triple6) -> rule1)) -> rule6) ((((triple6) -> rule3) triple6) -> rule1)) -> rule2)) -> rule4) OR ((triple8 ((((((((triple6) -> rule3) triple6) -> rule1)) -> rule6) triple1) -> rule2)) -> rule4) OR ((triple8 ((((((((triple6) -> rule3) triple6) -> rule1)) -> rule6) ((triple7 triple6) -> rule1)) -> rule2)) -> rule4) OR ((triple8 ((((((((triple6) -> rule3) triple6) -> rule1)) -> rule6) ((((triple6) -> rule3) triple6) -> rule1)) -> rule2)) -> rule4))]