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