The squirrel eats the tiger. The squirrel is big. The squirrel is cold. The squirrel is kind. The squirrel is round. The squirrel is young. The squirrel does not see the tiger. The squirrel visits the tiger. The tiger does not eat the squirrel. The tiger is big. The tiger is cold. The tiger is kind. The tiger is round. The tiger is young. The tiger does not see the squirrel. The tiger visits the squirrel. If someone visits the tiger and the tiger visits the squirrel then they are kind. If someone sees the tiger then they do not visit the tiger.
The tiger eats the tiger.
@0: The squirrel does not see the tiger.[(triple7)] The squirrel eats the tiger.[(triple1)] The squirrel is big.[(triple2)] The squirrel is cold.[(triple3)] The squirrel is kind.[(triple4 OR ((triple8 triple16) -> rule1))] The squirrel is round.[(triple5)] The squirrel is young.[(triple6)] The squirrel visits the tiger.[(triple8)] The tiger does not eat the squirrel.[(triple9)] The tiger does not see the squirrel.[(triple15)] The tiger is big.[(triple10)] The tiger is cold.[(triple11)] The tiger is kind.[(triple12)] The tiger is round.[(triple13)] The tiger is young.[(triple14)] The tiger visits the squirrel.[(triple16)]