The bald eagle is young. The bald eagle needs the mouse. The bald eagle needs the tiger. The bald eagle sees the squirrel. The bald eagle visits the squirrel. The bald eagle visits the tiger. The mouse is blue. The mouse is cold. The mouse sees the squirrel. The squirrel is cold. The squirrel needs the bald eagle. The squirrel sees the bald eagle. The squirrel visits the bald eagle. The squirrel visits the tiger. The tiger needs the squirrel. The tiger visits the bald eagle. If the squirrel needs the mouse then the mouse visits the bald eagle. If someone sees the tiger and they see the squirrel then the squirrel visits the mouse. If someone visits the mouse and they are cold then the mouse needs the tiger. If someone is young and they visit the bald eagle then they need the squirrel. If someone needs the mouse and the mouse sees the tiger then the tiger visits the bald eagle. If someone sees the bald eagle and they visit the tiger then the tiger is young. If the squirrel is young and the squirrel is cold then the squirrel is blue. If the tiger sees the mouse then the mouse sees the bald eagle.
The squirrel does not visit the tiger.
@0: The bald eagle is young.[(triple1)] The bald eagle needs the mouse.[(triple2)] The bald eagle needs the tiger.[(triple3)] The bald eagle sees the squirrel.[(triple4)] The bald eagle visits the squirrel.[(triple5)] The bald eagle visits the tiger.[(triple6)] The mouse is blue.[(triple7)] The mouse is cold.[(triple8)] The mouse sees the squirrel.[(triple9)] The squirrel is cold.[(triple10)] The squirrel needs the bald eagle.[(triple11)] The squirrel sees the bald eagle.[(triple12)] The squirrel visits the bald eagle.[(triple13)] The squirrel visits the tiger.[(triple14)] The tiger needs the squirrel.[(triple15 OR ((((triple12 triple14) -> rule6) triple16) -> rule4))] The tiger visits the bald eagle.[(triple16)] @1: The tiger is young.[(((triple12 triple14) -> rule6))]