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