The squirrel eats the tiger. The squirrel is cold. The squirrel is red. The squirrel is rough. The squirrel is round. The squirrel is young. The squirrel likes the tiger. The squirrel visits the tiger. The tiger eats the squirrel. The tiger is cold. The tiger is red. The tiger is rough. The tiger is round. The tiger is young. The tiger likes the squirrel. The tiger visits the squirrel. If something likes the squirrel then it is round. If something likes the tiger then the tiger visits the squirrel. If the tiger likes the squirrel then the squirrel likes the tiger.
The squirrel is not cold.
@0: The squirrel eats the tiger.[(triple1)] The squirrel is cold.[(triple2)] The squirrel is red.[(triple3)] The squirrel is rough.[(triple4)] The squirrel is round.[(triple5)] The squirrel is young.[(triple6)] The squirrel likes the tiger.[(triple7 OR ((triple15) -> rule3))] The squirrel visits the tiger.[(triple8)] The tiger eats the squirrel.[(triple9)] The tiger is cold.[(triple10)] The tiger is red.[(triple11)] The tiger is rough.[(triple12)] The tiger is round.[(triple13 OR ((triple15) -> rule1))] The tiger is young.[(triple14)] The tiger likes the squirrel.[(triple15)] The tiger visits the squirrel.[(triple16 OR ((triple7) -> rule2) OR ((((triple15) -> rule3)) -> rule2))]