The bald eagle is red. The bear chases the rabbit. The cat visits the bear. The rabbit needs the bald eagle. If someone is red then they visit the bald eagle. If someone needs the rabbit then they visit the bear. If someone needs the cat then they visit the bear. If someone visits the rabbit and the rabbit chases the bald eagle then they are big. If someone needs the cat and they chase the bald eagle then the bald eagle is red. If someone visits the bald eagle then they visit the cat. If someone chases the bald eagle then the bald eagle needs the bear. If someone is blue and young then they visit the bear.
The bald eagle chases the bear.
@0: The bald eagle is red.[(triple1)] The bear chases the rabbit.[(triple2)] The cat visits the bear.[(triple3)] The rabbit needs the bald eagle.[(triple4)] @1: The bald eagle visits the bald eagle.[(((triple1) -> rule1))] @2: The bald eagle visits the cat.[(((((triple1) -> rule1)) -> rule6))]