The bald eagle eats the rabbit. The bald eagle is cold. The bald eagle is rough. The bald eagle is young. The bald eagle likes the rabbit. The bald eagle needs the rabbit. The rabbit eats the bald eagle. The rabbit is rough. The rabbit likes the bald eagle. The rabbit needs the bald eagle. If the rabbit eats the bald eagle and the rabbit is young then the bald eagle needs the rabbit. If the rabbit eats the bald eagle then the bald eagle is rough.
The rabbit does not like the rabbit.
@0: The bald eagle eats the rabbit.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle is rough.[(triple3 OR ((triple7) -> rule2))] The bald eagle is young.[(triple4)] The bald eagle likes the rabbit.[(triple5)] The bald eagle needs the rabbit.[(triple6)] The rabbit eats the bald eagle.[(triple7)] The rabbit is rough.[(triple8)] The rabbit likes the bald eagle.[(triple9)] The rabbit needs the bald eagle.[(triple10)]