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 green. The bald eagle is kind. The bald eagle is rough. The bald eagle likes the lion. The lion chases the bald eagle. The lion eats the bald eagle. The lion eats the tiger. The lion is rough. The tiger chases the lion. The tiger is rough. The tiger likes the bald eagle. The tiger likes the lion. All big things are red. If something eats the bald eagle then it chases the bald eagle. If the bald eagle is rough and the bald eagle likes the tiger then the bald eagle chases the lion.
The bald eagle does not eat 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 green.[(triple5)] The bald eagle is kind.[(triple6)] The bald eagle is rough.[(triple7)] The bald eagle likes the lion.[(triple8)] The lion chases the bald eagle.[(triple9 OR ((triple10) -> rule2))] The lion eats the bald eagle.[(triple10)] The lion eats the tiger.[(triple11)] The lion is rough.[(triple12)] The tiger chases the lion.[(triple13)] The tiger is rough.[(triple14)] The tiger likes the bald eagle.[(triple15)] The tiger likes the lion.[(triple16)]