The bald eagle chases the lion. The bald eagle chases the mouse. The bald eagle eats the lion. The bald eagle eats the rabbit. The bald eagle needs the lion. The lion eats the mouse. The mouse chases the bald eagle. The rabbit chases the bald eagle. The rabbit eats the bald eagle. The rabbit is green. The rabbit is rough. The rabbit needs the mouse. All rough people are big. If someone needs the bald eagle and they need the lion then the bald eagle needs the lion. If someone eats the lion then they are rough. If someone is rough then they chase the bald eagle. If someone chases the bald eagle then they need the mouse. If the rabbit needs the bald eagle then the rabbit chases the bald eagle.
The bald eagle chases the bald eagle.
@0: The bald eagle chases the lion.[(triple1)] The bald eagle chases the mouse.[(triple2)] The bald eagle eats the lion.[(triple3)] The bald eagle eats the rabbit.[(triple4)] The bald eagle needs the lion.[(triple5)] The lion eats the mouse.[(triple6)] The mouse chases the bald eagle.[(triple7)] The rabbit chases the bald eagle.[(triple8 OR ((triple11) -> rule4))] The rabbit eats the bald eagle.[(triple9)] The rabbit is green.[(triple10)] The rabbit is rough.[(triple11)] The rabbit needs the mouse.[(triple12 OR ((triple8) -> rule5) OR ((((triple11) -> rule4)) -> rule5))] @1: The bald eagle is rough.[(((triple3) -> rule3))] The mouse needs the mouse.[(((triple7) -> rule5))] The rabbit is big.[(((triple11) -> rule1))] @2: The bald eagle chases the bald eagle.[(((((triple3) -> rule3)) -> rule4))] The bald eagle is big.[(((((triple3) -> rule3)) -> rule1))] @3: The bald eagle needs the mouse.[(((((((triple3) -> rule3)) -> rule4)) -> rule5))]