The bald eagle is green. The bald eagle needs the tiger. The bald eagle visits the tiger. The tiger eats the bald eagle. The tiger is big. The tiger is green. The tiger is rough. The tiger is round. The tiger needs the bald eagle. The tiger visits the bald eagle. If the tiger is cold and the tiger is round then the tiger eats the bald eagle. If someone eats the bald eagle and they are rough then the bald eagle is rough. If someone eats the bald eagle and the bald eagle needs the tiger then the tiger visits the bald eagle.
The bald eagle does not eat the bald eagle.
@0: The bald eagle is green.[(triple1)] The bald eagle needs the tiger.[(triple2)] The bald eagle visits the tiger.[(triple3)] The tiger eats the bald eagle.[(triple4)] The tiger is big.[(triple5)] The tiger is green.[(triple6)] The tiger is rough.[(triple7)] The tiger is round.[(triple8)] The tiger needs the bald eagle.[(triple9)] The tiger visits the bald eagle.[(triple10 OR ((triple4 triple2) -> rule3))] @1: The bald eagle is rough.[(((triple4 triple7) -> rule2))]