The bald eagle eats the rabbit. The bald eagle is young. The bald eagle likes the mouse. The mouse eats the rabbit. The mouse likes the bald eagle. The mouse likes the rabbit. The mouse visits the bald eagle. The rabbit eats the bald eagle. The rabbit is kind. The rabbit does not like the bald eagle. The rabbit visits the bald eagle. The rabbit visits the mouse. If someone eats the mouse then they eat the bald eagle. If someone eats the bald eagle then they like the rabbit. If someone likes the mouse then they eat the rabbit. If the bald eagle does not visit the rabbit then the bald eagle likes the rabbit. If someone is young and they eat the rabbit then the rabbit is not young. If someone visits the bald eagle and the bald eagle does not like the rabbit then they are round.
The bald eagle visits the rabbit.
@0: The bald eagle eats the rabbit.[(triple1 OR ((triple3) -> rule3))] The bald eagle is young.[(triple2)] The bald eagle likes the mouse.[(triple3)] The mouse eats the rabbit.[(triple4)] The mouse likes the bald eagle.[(triple5)] The mouse likes the rabbit.[(triple6)] The mouse visits the bald eagle.[(triple7)] The rabbit does not like the bald eagle.[(triple10)] The rabbit eats the bald eagle.[(triple8)] The rabbit is kind.[(triple9)] The rabbit visits the bald eagle.[(triple11)] The rabbit visits the mouse.[(triple12)] @1: The rabbit is not young.[(((triple2 triple1) -> rule5) OR ((triple2 ((triple3) -> rule3)) -> rule5))] The rabbit likes the rabbit.[(((triple8) -> rule2))]