The bald eagle is round. The bear visits the bald eagle. The cat sees the bald eagle. The tiger needs the bald eagle. If someone is rough and they need the tiger then they visit the bald eagle. All rough people are young. If someone is blue then they need the bald eagle. If the bear needs the bald eagle and the bald eagle is rough then the bear sees the bald eagle. If someone needs the bald eagle and they are young then the bald eagle is round. If someone sees the bald eagle then the bald eagle is blue.
The tiger visits the bald eagle.
@0: The bald eagle is round.[(triple1)] The bear visits the bald eagle.[(triple2)] The cat sees the bald eagle.[(triple3)] The tiger needs the bald eagle.[(triple4)] @1: The bald eagle is blue.[(((triple3) -> rule6))] @2: The bald eagle needs the bald eagle.[(((((triple3) -> rule6)) -> rule3))]