The bald eagle sees the lion. The bald eagle sees the rabbit. The dog needs the bald eagle. The dog does not see the bald eagle. The lion does not see the dog. The rabbit needs the lion. The rabbit visits the dog. If someone visits the dog then they are rough. If the rabbit needs the bald eagle and the rabbit sees the bald eagle then the bald eagle needs the rabbit. If the bald eagle does not see the lion then the lion needs the rabbit. If someone visits the lion then the lion visits the bald eagle. If someone is rough then they visit the bald eagle. If someone visits the bald eagle then the bald eagle is red.
The lion does not need the dog.
@0: The bald eagle sees the lion.[(triple1)] The bald eagle sees the rabbit.[(triple2)] The dog does not see the bald eagle.[(triple4)] The dog needs the bald eagle.[(triple3)] The lion does not see the dog.[(triple5)] The rabbit needs the lion.[(triple6)] The rabbit visits the dog.[(triple7)] @1: The rabbit is rough.[(((triple7) -> rule1))] @2: The rabbit visits the bald eagle.[(((((triple7) -> rule1)) -> rule5))] @3: The bald eagle is red.[(((((((triple7) -> rule1)) -> rule5)) -> rule6))]