The bald eagle likes the mouse. The mouse chases the bald eagle. The squirrel is kind. If someone likes the squirrel and they chase the mouse then they do not visit the bald eagle. If someone likes the bald eagle then they are round. If someone likes the squirrel and the squirrel does not like the bald eagle then they visit the mouse. If someone is round then they do not visit the mouse. If the bald eagle likes the squirrel and the bald eagle is big then the squirrel is nice. If someone likes the bald eagle then they like the mouse. If someone likes the mouse then the mouse likes the bald eagle. If someone chases the bald eagle then the bald eagle likes the mouse.
The squirrel does not visit the squirrel.
@0: The bald eagle likes the mouse.[(triple1 OR ((triple2) -> rule8))] The mouse chases the bald eagle.[(triple2)] The squirrel is kind.[(triple3)] @1: The mouse likes the bald eagle.[(((triple1) -> rule7) OR ((((triple2) -> rule8)) -> rule7))] @2: The mouse is round.[(((((triple1) -> rule7)) -> rule2) OR ((((((triple2) -> rule8)) -> rule7)) -> rule2))] The mouse likes the mouse.[(((((triple1) -> rule7)) -> rule6) OR ((((((triple2) -> rule8)) -> rule7)) -> rule6))] @3: The mouse does not visit the mouse.[(((((((triple1) -> rule7)) -> rule2)) -> rule4) OR ((((((((triple2) -> rule8)) -> rule7)) -> rule2)) -> rule4))]