The squirrel is big. The squirrel is cold. The squirrel is nice. The squirrel is rough. The squirrel is young. The squirrel needs the tiger. The squirrel sees the tiger. The squirrel visits the tiger. The tiger is cold. The tiger is nice. The tiger is rough. The tiger is young. The tiger needs the squirrel. The tiger sees the squirrel. The tiger visits the squirrel. If the tiger is young and the tiger needs the squirrel then the tiger sees the squirrel. If someone is young and they need the tiger then the tiger sees the squirrel.
The squirrel needs the squirrel.
@0: The squirrel is big.[(triple1)] The squirrel is cold.[(triple2)] The squirrel is nice.[(triple3)] The squirrel is rough.[(triple4)] The squirrel is young.[(triple5)] The squirrel needs the tiger.[(triple6)] The squirrel sees the tiger.[(triple7)] The squirrel visits the tiger.[(triple8)] The tiger is cold.[(triple9)] The tiger is nice.[(triple10)] The tiger is rough.[(triple11)] The tiger is young.[(triple12)] The tiger needs the squirrel.[(triple13)] The tiger sees the squirrel.[(triple14 OR ((triple12 triple13) -> rule1) OR ((triple5 triple6) -> rule2))] The tiger visits the squirrel.[(triple15)]