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