The bald eagle chases the mouse. The bald eagle is cold. The bald eagle is kind. The bald eagle is red. The bald eagle is round. The bald eagle needs the mouse. The bald eagle visits the mouse. The mouse chases the bald eagle. The mouse is kind. The mouse is red. The mouse needs the bald eagle. The mouse visits the bald eagle. If something visits the mouse then the mouse visits the bald eagle. If the bald eagle is kind and the bald eagle chases the mouse then the mouse needs the bald eagle.
The mouse does not need the bald eagle.
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle is red.[(triple4)] The bald eagle is round.[(triple5)] The bald eagle needs the mouse.[(triple6)] The bald eagle visits the mouse.[(triple7)] The mouse chases the bald eagle.[(triple8)] The mouse is kind.[(triple9)] The mouse is red.[(triple10)] The mouse needs the bald eagle.[(triple11 OR ((triple3 triple1) -> rule2))] The mouse visits the bald eagle.[(triple12 OR ((triple7) -> rule1))]