The bald eagle does not chase the tiger. The bald eagle sees the mouse. The mouse is nice. The mouse is not red. The mouse is rough. The mouse does not see the bald eagle. The mouse sees the squirrel. The squirrel is red. The squirrel sees the mouse. The squirrel visits the tiger. The tiger is big. The tiger sees the bald eagle. The tiger sees the mouse. The tiger sees the squirrel. The tiger visits the mouse. If someone is nice then they chase the mouse. If someone is red and they do not see the bald eagle then the bald eagle is red. If the bald eagle is nice and the bald eagle is kind then the bald eagle visits the mouse.
The tiger visits the mouse.
@0: The bald eagle does not chase the tiger.[(triple1)] The bald eagle sees the mouse.[(triple2)] The mouse does not see the bald eagle.[(triple6)] The mouse is nice.[(triple3)] The mouse is not red.[(triple4)] The mouse is rough.[(triple5)] The mouse sees the squirrel.[(triple7)] The squirrel is red.[(triple8)] The squirrel sees the mouse.[(triple9)] The squirrel visits the tiger.[(triple10)] The tiger is big.[(triple11)] The tiger sees the bald eagle.[(triple12)] The tiger sees the mouse.[(triple13)] The tiger sees the squirrel.[(triple14)] The tiger visits the mouse.[(triple15)] @1: The mouse chases the mouse.[(((triple3) -> rule1))]