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