The bald eagle chases the tiger. The bald eagle eats the tiger. The bald eagle is not big. The bald eagle is not cold. The bald eagle is green. The bald eagle is red. The bald eagle is not round. The bald eagle likes the tiger. The tiger chases the bald eagle. The tiger eats the bald eagle. The tiger is big. The tiger is cold. The tiger is green. The tiger is red. The tiger is round. The tiger likes the bald eagle. If something likes the tiger and the tiger is round then the tiger likes the bald eagle.
The bald eagle does not eat the bald eagle.
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle eats the tiger.[(triple2)] The bald eagle is green.[(triple5)] The bald eagle is not big.[(triple3)] The bald eagle is not cold.[(triple4)] The bald eagle is not round.[(triple7)] The bald eagle is red.[(triple6)] The bald eagle likes the tiger.[(triple8)] The tiger chases the bald eagle.[(triple9)] The tiger eats the bald eagle.[(triple10)] The tiger is big.[(triple11)] The tiger is cold.[(triple12)] The tiger is green.[(triple13)] The tiger is red.[(triple14)] The tiger is round.[(triple15)] The tiger likes the bald eagle.[(triple16 OR ((triple8 triple15) -> rule1))]