The squirrel chases the tiger. The squirrel is cold. The squirrel is green. The squirrel is red. The squirrel is round. The squirrel is young. The squirrel likes the tiger. The squirrel needs the tiger. The tiger chases the squirrel. The tiger is cold. The tiger is green. The tiger is red. The tiger is round. The tiger likes the squirrel. The tiger needs the squirrel. If someone chases the squirrel and the squirrel is cold then they like the tiger. If someone likes the tiger and the tiger is red then they chase the tiger.
The tiger is not cold.
@0: The squirrel chases the tiger.[(triple1 OR ((triple7 triple12) -> rule2))] The squirrel is cold.[(triple2)] The squirrel is green.[(triple3)] The squirrel is red.[(triple4)] The squirrel is round.[(triple5)] The squirrel is young.[(triple6)] The squirrel likes the tiger.[(triple7)] The squirrel needs the tiger.[(triple8)] The tiger chases the squirrel.[(triple9)] The tiger is cold.[(triple10)] The tiger is green.[(triple11)] The tiger is red.[(triple12)] The tiger is round.[(triple13)] The tiger likes the squirrel.[(triple14)] The tiger needs the squirrel.[(triple15)] @1: The tiger likes the tiger.[(((triple9 triple2) -> rule1))] @2: The tiger chases the tiger.[(((((triple9 triple2) -> rule1) triple12) -> rule2))]