The bald eagle chases the lion. The bald eagle chases the rabbit. The bald eagle eats the rabbit. The bald eagle needs the rabbit. The lion is green. The lion needs the rabbit. The rabbit chases the lion. The rabbit eats the bald eagle. The rabbit needs the bald eagle. The rabbit needs the lion. If someone needs the rabbit then the rabbit eats the lion. If the lion eats the bald eagle then the bald eagle is big. All nice, round people are big. If the rabbit is round and the rabbit eats the lion then the lion is green. If someone eats the rabbit then they chase the lion. If the lion is round and the lion eats the rabbit then the lion is nice.
The lion is not big.
@0: The bald eagle chases the lion.[(triple1 OR ((triple3) -> rule5))] The bald eagle chases the rabbit.[(triple2)] The bald eagle eats the rabbit.[(triple3)] The bald eagle needs the rabbit.[(triple4)] The lion is green.[(triple5)] The lion needs the rabbit.[(triple6)] The rabbit chases the lion.[(triple7)] The rabbit eats the bald eagle.[(triple8)] The rabbit needs the bald eagle.[(triple9)] The rabbit needs the lion.[(triple10)] @1: The rabbit eats the lion.[(((triple4) -> rule1) OR ((triple6) -> rule1))]