The bald eagle chases the tiger. The bald eagle eats the tiger. The bald eagle is green. The bald eagle is red. The bald eagle is young. The bald eagle needs the tiger. The tiger chases the bald eagle. The tiger is green. The tiger is red. The tiger needs the bald eagle. If someone needs the tiger then they eat the tiger. If the bald eagle eats the tiger and the bald eagle chases the tiger then the bald eagle is young.
The tiger is not green.
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle eats the tiger.[(triple2 OR ((triple6) -> rule1))] The bald eagle is green.[(triple3)] The bald eagle is red.[(triple4)] The bald eagle is young.[(triple5 OR ((triple2 triple1) -> rule2) OR ((((triple6) -> rule1) triple1) -> rule2))] The bald eagle needs the tiger.[(triple6)] The tiger chases the bald eagle.[(triple7)] The tiger is green.[(triple8)] The tiger is red.[(triple9)] The tiger needs the bald eagle.[(triple10)]