The bald eagle chases the tiger. The bald eagle is big. The bald eagle is nice. The bald eagle is rough. The bald eagle likes the tiger. The cow chases the bald eagle. The cow chases the squirrel. The cow chases the tiger. The cow is big. The cow is nice. The cow is young. The cow likes the tiger. The cow visits the squirrel. The squirrel likes the bald eagle. The tiger chases the bald eagle. The tiger visits the cow. If the squirrel likes the bald eagle then the squirrel likes the tiger.
The bald eagle is nice.
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle is rough.[(triple4)] The bald eagle likes the tiger.[(triple5)] The cow chases the bald eagle.[(triple6)] The cow chases the squirrel.[(triple7)] The cow chases the tiger.[(triple8)] The cow is big.[(triple9)] The cow is nice.[(triple10)] The cow is young.[(triple11)] The cow likes the tiger.[(triple12)] The cow visits the squirrel.[(triple13)] The squirrel likes the bald eagle.[(triple14)] The tiger chases the bald eagle.[(triple15)] The tiger visits the cow.[(triple16)] @1: The squirrel likes the tiger.[(((triple14) -> rule1))]