The squirrel chases the tiger. The squirrel eats the tiger. The squirrel is big. The squirrel is kind. The squirrel visits the tiger. The tiger chases the squirrel. The tiger eats the squirrel. The tiger is cold. The tiger is red. The tiger visits the squirrel. If something eats the squirrel then it visits the squirrel. If the squirrel visits the tiger and the squirrel chases the tiger then the tiger visits the squirrel.
The tiger is kind.
@0: The squirrel chases the tiger.[(triple1)] The squirrel eats the tiger.[(triple2)] The squirrel is big.[(triple3)] The squirrel is kind.[(triple4)] The squirrel visits the tiger.[(triple5)] The tiger chases the squirrel.[(triple6)] The tiger eats the squirrel.[(triple7)] The tiger is cold.[(triple8)] The tiger is red.[(triple9)] The tiger visits the squirrel.[(triple10 OR ((triple7) -> rule1) OR ((triple5 triple1) -> rule2))]