The bald eagle eats the rabbit. The bald eagle is blue. The bald eagle is cold. The bald eagle is nice. The bald eagle needs the rabbit. The bald eagle sees the rabbit. The rabbit eats the bald eagle. The rabbit is blue. The rabbit is cold. The rabbit is nice. The rabbit needs the bald eagle. The rabbit sees the bald eagle. If the rabbit eats the bald eagle and the rabbit is nice then the rabbit sees the bald eagle. If something eats the rabbit and the rabbit is big then it eats the bald eagle. If something is cold and round then it eats the rabbit. If the rabbit sees the bald eagle then the bald eagle needs the rabbit. If the bald eagle is nice then the bald eagle needs the rabbit. If something needs the rabbit then the rabbit sees the bald eagle.
The bald eagle does not need the rabbit.
@0: The bald eagle eats the rabbit.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle is nice.[(triple4)] The bald eagle needs the rabbit.[(triple5 OR ((triple12) -> rule4) OR ((triple4) -> rule5) OR ((((triple7 triple10) -> rule1)) -> rule4))] The bald eagle sees the rabbit.[(triple6)] The rabbit eats the bald eagle.[(triple7)] The rabbit is blue.[(triple8)] The rabbit is cold.[(triple9)] The rabbit is nice.[(triple10)] The rabbit needs the bald eagle.[(triple11)] The rabbit sees the bald eagle.[(triple12 OR ((triple5) -> rule6) OR ((triple7 triple10) -> rule1) OR ((((triple4) -> rule5)) -> rule6))]