The bald eagle is rough. The rabbit chases the bald eagle. The tiger is rough. If something is nice then it is young. If something is round then it needs the tiger. If something is big then it chases the tiger. If something chases the bald eagle and the bald eagle chases the tiger then the bald eagle needs the rabbit. If something eats the bald eagle then the bald eagle chases the tiger. If something is rough then it is round. If something chases the tiger and the tiger is round then it is rough. If something chases the tiger and the tiger eats the rabbit then it is big.
The tiger does not chase the rabbit.
@0: The bald eagle is rough.[(triple1)] The rabbit chases the bald eagle.[(triple2)] The tiger is rough.[(triple3)] @1: The bald eagle is round.[(((triple1) -> rule6))] The tiger is round.[(((triple3) -> rule6))] @2: The bald eagle needs the tiger.[(((((triple1) -> rule6)) -> rule2))] The tiger needs the tiger.[(((((triple3) -> rule6)) -> rule2))]