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