The bald eagle chases the tiger. The bald eagle is kind. The bald eagle visits the lion. The bald eagle visits the tiger. The lion visits the bald eagle. The lion visits the tiger. The mouse chases the bald eagle. The mouse chases the lion. The mouse is round. The mouse is young. The mouse sees the tiger. The mouse visits the bald eagle. The mouse visits the lion. The mouse visits the tiger. The tiger does not see the mouse. The tiger visits the mouse. If someone visits the tiger then the tiger sees the bald eagle. If someone visits the mouse and the mouse visits the bald eagle then they do not visit the bald eagle. If someone sees the bald eagle then the bald eagle does not see the lion. If someone chases the mouse then the mouse sees the tiger. If someone is nice and they chase the mouse then the mouse sees the bald eagle. If someone chases the mouse then the mouse visits the tiger.
The tiger is not nice.
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle visits the lion.[(triple3)] The bald eagle visits the tiger.[(triple4)] The lion visits the bald eagle.[(triple5)] The lion visits the tiger.[(triple6)] The mouse chases the bald eagle.[(triple7)] The mouse chases the lion.[(triple8)] The mouse is round.[(triple9)] The mouse is young.[(triple10)] The mouse sees the tiger.[(triple11)] The mouse visits the bald eagle.[(triple12)] The mouse visits the lion.[(triple13)] The mouse visits the tiger.[(triple14)] The tiger does not see the mouse.[(triple15)] The tiger visits the mouse.[(triple16)] @1: The tiger does not visit the bald eagle.[(((triple16 triple12) -> rule2))] The tiger sees the bald eagle.[(((triple14) -> rule1) OR ((triple4) -> rule1) OR ((triple6) -> rule1))] @2: The bald eagle does not see the lion.[(((((triple14) -> rule1)) -> rule3) OR ((((triple4) -> rule1)) -> rule3) OR ((((triple6) -> rule1)) -> rule3))]