The bald eagle is big. The bald eagle is rough. The bald eagle visits the squirrel. The bald eagle visits the tiger. The squirrel chases the bald eagle. The squirrel sees the tiger. The squirrel visits the tiger. The tiger chases the bald eagle. The tiger chases the squirrel. The tiger sees the bald eagle. The tiger sees the squirrel. The tiger visits the squirrel. If someone visits the tiger and the tiger sees the bald eagle then the tiger sees the squirrel. If someone is young then they chase the bald eagle. If the bald eagle sees the tiger then the bald eagle visits the tiger.
The bald eagle visits the tiger.
@0: The bald eagle is big.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle visits the squirrel.[(triple3)] The bald eagle visits the tiger.[(triple4)] The squirrel chases the bald eagle.[(triple5)] The squirrel sees the tiger.[(triple6)] The squirrel visits the tiger.[(triple7)] The tiger chases the bald eagle.[(triple8)] The tiger chases the squirrel.[(triple9)] The tiger sees the bald eagle.[(triple10)] The tiger sees the squirrel.[(triple11 OR ((triple4 triple10) -> rule1) OR ((triple7 triple10) -> rule1))] The tiger visits the squirrel.[(triple12)]