The squirrel visits the tiger. The tiger chases the squirrel. The tiger is green. The tiger is nice. The tiger is young. The tiger likes the squirrel. The tiger visits the squirrel. If something visits the squirrel and it likes the squirrel then the squirrel likes the tiger. If something visits the squirrel then it chases the squirrel. All cold things are green. If something chases the squirrel and it is nice then it visits the squirrel. If something visits the squirrel then the squirrel is young. If something is young then it likes the squirrel.
The tiger visits the tiger.
@0: The squirrel visits the tiger.[(triple1)] The tiger chases the squirrel.[(triple2 OR ((triple7) -> rule2))] The tiger is green.[(triple3)] The tiger is nice.[(triple4)] The tiger is young.[(triple5)] The tiger likes the squirrel.[(triple6 OR ((triple5) -> rule6))] The tiger visits the squirrel.[(triple7 OR ((triple2 triple4) -> rule4))] @1: The squirrel is young.[(((triple7) -> rule5) OR ((((triple2 triple4) -> rule4)) -> rule5))] The squirrel likes the tiger.[(((triple7 triple6) -> rule1) OR ((triple7 ((triple5) -> rule6)) -> rule1) OR ((((triple2 triple4) -> rule4) triple6) -> rule1) OR ((((triple2 triple4) -> rule4) ((triple5) -> rule6)) -> rule1))] @2: The squirrel likes the squirrel.[(((((triple7) -> rule5)) -> rule6) OR ((((((triple2 triple4) -> rule4)) -> rule5)) -> rule6))]