The bald eagle is cold. The bald eagle is round. The bald eagle likes the squirrel. The bald eagle sees the squirrel. The bear is round. The bear visits the bald eagle. The squirrel likes the bear. The squirrel sees the bald eagle. The squirrel sees the bear. The squirrel visits the tiger. The tiger is round. The tiger likes the bald eagle. The tiger likes the bear. The tiger sees the bald eagle. The tiger sees the bear. The tiger sees the squirrel. If someone likes the bald eagle then they visit the squirrel. If the bald eagle visits the squirrel and the squirrel visits the bald eagle then the squirrel sees the bald eagle.
The squirrel sees the tiger.
@0: The bald eagle is cold.[(triple1)] The bald eagle is round.[(triple2)] The bald eagle likes the squirrel.[(triple3)] The bald eagle sees the squirrel.[(triple4)] The bear is round.[(triple5)] The bear visits the bald eagle.[(triple6)] The squirrel likes the bear.[(triple7)] The squirrel sees the bald eagle.[(triple8)] The squirrel sees the bear.[(triple9)] The squirrel visits the tiger.[(triple10)] The tiger is round.[(triple11)] The tiger likes the bald eagle.[(triple12)] The tiger likes the bear.[(triple13)] The tiger sees the bald eagle.[(triple14)] The tiger sees the bear.[(triple15)] The tiger sees the squirrel.[(triple16)] @1: The tiger visits the squirrel.[(((triple12) -> rule1))]