The bald eagle chases the tiger. The bald eagle eats the squirrel. The bald eagle eats the tiger. The bald eagle is red. The bald eagle is rough. The squirrel chases the bald eagle. The squirrel eats the bald eagle. The squirrel eats the tiger. The squirrel is nice. The squirrel is young. The tiger chases the bald eagle. The tiger eats the bald eagle. The tiger eats the squirrel. The tiger is big. The tiger likes the squirrel. If something likes the tiger then the tiger chases the squirrel. If something chases the bald eagle then the bald eagle chases the tiger.
The tiger does not eat the bald eagle.
@0: The bald eagle chases the tiger.[(triple1 OR ((triple11) -> rule2) OR ((triple6) -> rule2))] The bald eagle eats the squirrel.[(triple2)] The bald eagle eats the tiger.[(triple3)] The bald eagle is red.[(triple4)] The bald eagle is rough.[(triple5)] The squirrel chases the bald eagle.[(triple6)] The squirrel eats the bald eagle.[(triple7)] The squirrel eats the tiger.[(triple8)] The squirrel is nice.[(triple9)] The squirrel is young.[(triple10)] The tiger chases the bald eagle.[(triple11)] The tiger eats the bald eagle.[(triple12)] The tiger eats the squirrel.[(triple13)] The tiger is big.[(triple14)] The tiger likes the squirrel.[(triple15)]