The dog chases the tiger. The dog eats the lion. The dog eats the squirrel. The dog is nice. The dog is rough. The dog is round. The dog visits the squirrel. The lion visits the tiger. The squirrel eats the dog. The squirrel eats the tiger. The squirrel is cold. The squirrel is nice. The tiger chases the lion. The tiger is big. The tiger is rough. If someone is big and they visit the dog then they chase the dog. If the lion eats the dog and the lion chases the tiger then the dog visits the tiger. If someone eats the dog and the dog eats the squirrel then the squirrel visits the tiger. If the squirrel chases the tiger then the squirrel visits the tiger. If someone chases the lion then they are round. If someone chases the squirrel and they visit the lion then the lion eats the squirrel.
The dog eats the dog.
@0: The dog chases the tiger.[(triple1)] The dog eats the lion.[(triple2)] The dog eats the squirrel.[(triple3)] The dog is nice.[(triple4)] The dog is rough.[(triple5)] The dog is round.[(triple6)] The dog visits the squirrel.[(triple7)] The lion visits the tiger.[(triple8)] The squirrel eats the dog.[(triple9)] The squirrel eats the tiger.[(triple10)] The squirrel is cold.[(triple11)] The squirrel is nice.[(triple12)] The tiger chases the lion.[(triple13)] The tiger is big.[(triple14)] The tiger is rough.[(triple15)] @1: The squirrel visits the tiger.[(((triple9 triple3) -> rule3))] The tiger is round.[(((triple13) -> rule5))]