The bald eagle eats the rabbit. The bald eagle is big. The bald eagle is round. The bear needs the lion. The lion eats the bear. The lion does not eat the rabbit. The lion is nice. The lion needs the rabbit. The rabbit does not eat the lion. The rabbit is nice. If someone is nice then they chase the bald eagle. If someone chases the bald eagle then the bald eagle chases the lion. If someone eats the lion then they need the rabbit. If someone chases the lion then the lion chases the rabbit. If someone eats the lion then the lion needs the bald eagle. If someone needs the bear and the bear chases the lion then the bear does not chase the bald eagle. If someone chases the bear then the bear is not big. If someone is big and they chase the lion then they eat the bald eagle.
The lion eats the bald eagle.
@0: The bald eagle eats the rabbit.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is round.[(triple3)] The bear needs the lion.[(triple4)] The lion does not eat the rabbit.[(triple6)] The lion eats the bear.[(triple5)] The lion is nice.[(triple7)] The lion needs the rabbit.[(triple8)] The rabbit does not eat the lion.[(triple9)] The rabbit is nice.[(triple10)] @1: The lion chases the bald eagle.[(((triple7) -> rule1))] The rabbit chases the bald eagle.[(((triple10) -> rule1))] @2: The bald eagle chases the lion.[(((((triple10) -> rule1)) -> rule2) OR ((((triple7) -> rule1)) -> rule2))] @3: The bald eagle eats the bald eagle.[(((triple2 ((((triple10) -> rule1)) -> rule2)) -> rule8) OR ((triple2 ((((triple7) -> rule1)) -> rule2)) -> rule8))] The lion chases the rabbit.[(((((((triple10) -> rule1)) -> rule2)) -> rule4) OR ((((((triple7) -> rule1)) -> rule2)) -> rule4))]