The bald eagle eats the cat. The bald eagle is red. The bald eagle likes the squirrel. The bald eagle visits the tiger. The cat eats the tiger. The cat is big. The cat is young. The cat likes the squirrel. The cat visits the tiger. The squirrel eats the bald eagle. The squirrel eats the cat. The squirrel is red. The squirrel is young. The squirrel likes the bald eagle. The squirrel likes the cat. The tiger likes the cat. If something likes the cat then it visits the bald eagle. If something is green and it eats the cat then the cat is cold. If something visits the squirrel and the squirrel eats the bald eagle then the bald eagle likes the tiger. If something is cold then it eats the squirrel. If something is big and it eats the tiger then the tiger visits the cat. If something is green and it likes the tiger then it eats the cat.
The cat visits the tiger.
@0: The bald eagle eats the cat.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle likes the squirrel.[(triple3)] The bald eagle visits the tiger.[(triple4)] The cat eats the tiger.[(triple5)] The cat is big.[(triple6)] The cat is young.[(triple7)] The cat likes the squirrel.[(triple8)] The cat visits the tiger.[(triple9)] The squirrel eats the bald eagle.[(triple10)] The squirrel eats the cat.[(triple11)] The squirrel is red.[(triple12)] The squirrel is young.[(triple13)] The squirrel likes the bald eagle.[(triple14)] The squirrel likes the cat.[(triple15)] The tiger likes the cat.[(triple16)] @1: The squirrel visits the bald eagle.[(((triple15) -> rule1))] The tiger visits the bald eagle.[(((triple16) -> rule1))] The tiger visits the cat.[(((triple6 triple5) -> rule5))]