The bald eagle eats the lion. The bald eagle is kind. The bald eagle needs the rabbit. The lion is green. The rabbit likes the bald eagle. The rabbit likes the lion. The rabbit needs the lion. If someone likes the rabbit then they are nice. If the rabbit needs the lion then the rabbit needs the bald eagle. If someone eats the bald eagle then the bald eagle eats the rabbit. If someone likes the bald eagle and they are nice then the bald eagle needs the lion. If someone needs the bald eagle then the bald eagle likes the rabbit. If someone is red and green then they need the bald eagle.
The rabbit is not blue.
@0: The bald eagle eats the lion.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle needs the rabbit.[(triple3)] The lion is green.[(triple4)] The rabbit likes the bald eagle.[(triple5)] The rabbit likes the lion.[(triple6)] The rabbit needs the lion.[(triple7)] @1: The rabbit needs the bald eagle.[(((triple7) -> rule2))] @2: The bald eagle likes the rabbit.[(((((triple7) -> rule2)) -> rule5))] @3: The bald eagle is nice.[(((((((triple7) -> rule2)) -> rule5)) -> rule1))]