The bald eagle eats the cow. The bald eagle eats the rabbit. The bald eagle is blue. The bald eagle is round. The bald eagle is young. The bald eagle needs the cow. The bald eagle sees the cow. The bald eagle sees the rabbit. The cow is kind. The cow is red. The cow is young. The cow needs the rabbit. The cow sees the bald eagle. The rabbit eats the bald eagle. The rabbit eats the cow. The rabbit needs the cow. If someone sees the rabbit and the rabbit is blue then the rabbit needs the bald eagle. If the cow sees the bald eagle and the cow needs the rabbit then the cow sees the rabbit. If the bald eagle is blue then the bald eagle sees the cow. If the cow is kind then the cow eats the bald eagle. If someone needs the cow then they see the rabbit. If someone is red and they see the bald eagle then the bald eagle sees the rabbit.
The rabbit does not need the bald eagle.
@0: The bald eagle eats the cow.[(triple1)] The bald eagle eats the rabbit.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle is round.[(triple4)] The bald eagle is young.[(triple5)] The bald eagle needs the cow.[(triple6)] The bald eagle sees the cow.[(triple7 OR ((triple3) -> rule3))] The bald eagle sees the rabbit.[(triple8 OR ((triple6) -> rule5) OR ((triple10 triple13) -> rule6))] The cow is kind.[(triple9)] The cow is red.[(triple10)] The cow is young.[(triple11)] The cow needs the rabbit.[(triple12)] The cow sees the bald eagle.[(triple13)] The rabbit eats the bald eagle.[(triple14)] The rabbit eats the cow.[(triple15)] The rabbit needs the cow.[(triple16)] @1: The cow eats the bald eagle.[(((triple9) -> rule4))] The cow sees the rabbit.[(((triple13 triple12) -> rule2))] The rabbit sees the rabbit.[(((triple16) -> rule5))]