The cat chases the squirrel. The cat is nice. The cat needs the tiger. The cat visits the squirrel. The cat visits the tiger. The squirrel chases the cat. The squirrel chases the tiger. The squirrel is blue. The squirrel is rough. The squirrel needs the tiger. The squirrel visits the tiger. The tiger chases the cat. The tiger chases the squirrel. The tiger needs the squirrel. The tiger visits the cat. The tiger visits the squirrel. If something chases the cat then the cat needs the tiger. If something is green and it needs the cat then the cat is green. If the tiger is young and the tiger visits the cat then the tiger chases the cat.
The tiger visits the cat.
@0: The cat chases the squirrel.[(triple1)] The cat is nice.[(triple2)] The cat needs the tiger.[(triple3 OR ((triple12) -> rule1) OR ((triple6) -> rule1))] The cat visits the squirrel.[(triple4)] The cat visits the tiger.[(triple5)] The squirrel chases the cat.[(triple6)] The squirrel chases the tiger.[(triple7)] The squirrel is blue.[(triple8)] The squirrel is rough.[(triple9)] The squirrel needs the tiger.[(triple10)] The squirrel visits the tiger.[(triple11)] The tiger chases the cat.[(triple12)] The tiger chases the squirrel.[(triple13)] The tiger needs the squirrel.[(triple14)] The tiger visits the cat.[(triple15)] The tiger visits the squirrel.[(triple16)]