The bald eagle chases the tiger. The bald eagle eats the tiger. The bald eagle is not rough. The bald eagle is not young. The tiger chases the bald eagle. The tiger does not eat the bald eagle. The tiger is big. The tiger is blue. The tiger is not red. The tiger is not rough. The tiger is not young. The tiger does not need the bald eagle. If the bald eagle eats the tiger then the tiger chases the bald eagle. If someone eats the bald eagle then the bald eagle is not rough. If the tiger chases the bald eagle then the bald eagle is not rough. If the tiger is red and the tiger chases the bald eagle then the tiger is rough. If someone is red then they chase the bald eagle. If someone eats the tiger and they need the bald eagle then the tiger needs the bald eagle. If the bald eagle eats the tiger then the bald eagle is not blue. If someone needs the bald eagle and the bald eagle is not young then the bald eagle does not eat the tiger.
The bald eagle needs the tiger.
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle eats the tiger.[(triple2)] The bald eagle is not rough.[(triple3 OR ((triple5) -> rule3) OR ((((triple2) -> rule1)) -> rule3))] The bald eagle is not young.[(triple4)] The tiger chases the bald eagle.[(triple5 OR ((triple2) -> rule1))] The tiger does not eat the bald eagle.[(triple6)] The tiger does not need the bald eagle.[(triple12)] The tiger is big.[(triple7)] The tiger is blue.[(triple8)] The tiger is not red.[(triple9)] The tiger is not rough.[(triple10)] The tiger is not young.[(triple11)] @1: The bald eagle is not blue.[(((triple2) -> rule7))]