The bald eagle needs the lion. The bald eagle needs the mouse. The bald eagle visits the lion. The bald eagle visits the mouse. The lion eats the bald eagle. The lion needs the rabbit. The mouse eats the bald eagle. The mouse is blue. The mouse is kind. The mouse needs the bald eagle. The mouse visits the bald eagle. The rabbit is kind. The rabbit needs the bald eagle. The rabbit visits the lion. The rabbit visits the mouse. If the rabbit needs the mouse then the mouse is kind. If someone needs the bald eagle and they need the rabbit then the rabbit visits the lion. If someone eats the lion then they visit the rabbit. If someone visits the bald eagle then the bald eagle is nice. If someone visits the mouse then the mouse is young. If the mouse is blue and the mouse visits the bald eagle then the bald eagle visits the rabbit. If someone is young and they need the bald eagle then they are kind. If someone visits the rabbit then the rabbit needs the bald eagle.
The rabbit does not visit the lion.
@0: The bald eagle needs the lion.[(triple1)] The bald eagle needs the mouse.[(triple2)] The bald eagle visits the lion.[(triple3)] The bald eagle visits the mouse.[(triple4)] The lion eats the bald eagle.[(triple5)] The lion needs the rabbit.[(triple6)] The mouse eats the bald eagle.[(triple7)] The mouse is blue.[(triple8)] The mouse is kind.[(triple9 OR ((((triple15) -> rule5) triple10) -> rule7) OR ((((triple4) -> rule5) triple10) -> rule7))] The mouse needs the bald eagle.[(triple10)] The mouse visits the bald eagle.[(triple11)] The rabbit is kind.[(triple12)] The rabbit needs the bald eagle.[(triple13 OR ((((triple8 triple11) -> rule6)) -> rule8))] The rabbit visits the lion.[(triple14)] The rabbit visits the mouse.[(triple15)] @1: The bald eagle is nice.[(((triple11) -> rule4))] The bald eagle visits the rabbit.[(((triple8 triple11) -> rule6))] The mouse is young.[(((triple15) -> rule5) OR ((triple4) -> rule5))]