The bald eagle eats the tiger. The bald eagle is big. The bald eagle is not blue. The bald eagle is not cold. The bald eagle is not green. The bald eagle is not rough. The bald eagle needs the tiger. The bald eagle visits the tiger. The tiger eats the bald eagle. The tiger is not big. The tiger is cold. The tiger needs the bald eagle. If someone needs the tiger then the tiger is not big.
The bald eagle is big.
@0: The bald eagle eats the tiger.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is not blue.[(triple3)] The bald eagle is not cold.[(triple4)] The bald eagle is not green.[(triple5)] The bald eagle is not rough.[(triple6)] The bald eagle needs the tiger.[(triple7)] The bald eagle visits the tiger.[(triple8)] The tiger eats the bald eagle.[(triple9)] The tiger is cold.[(triple11)] The tiger is not big.[(triple10 OR ((triple7) -> rule1))] The tiger needs the bald eagle.[(triple12)]