The bald eagle is cold. The bald eagle sees the tiger. The rabbit is green. The rabbit needs the squirrel. The squirrel is blue. The squirrel is green. The squirrel needs the rabbit. The squirrel sees the tiger. The tiger chases the squirrel. The tiger is cold. The tiger is rough. The tiger needs the squirrel. If someone is rough then they chase the tiger. If someone is rough and they see the bald eagle then the bald eagle is green. If someone sees the bald eagle then the bald eagle chases the tiger. If someone is rough and green then they need the bald eagle. If someone chases the tiger and the tiger needs the rabbit then the tiger needs the bald eagle. If someone is red then they see the rabbit.
The bald eagle chases the rabbit.
@0: The bald eagle is cold.[(triple1)] The bald eagle sees the tiger.[(triple2)] The rabbit is green.[(triple3)] The rabbit needs the squirrel.[(triple4)] The squirrel is blue.[(triple5)] The squirrel is green.[(triple6)] The squirrel needs the rabbit.[(triple7)] The squirrel sees the tiger.[(triple8)] The tiger chases the squirrel.[(triple9)] The tiger is cold.[(triple10)] The tiger is rough.[(triple11)] The tiger needs the squirrel.[(triple12)] @1: The tiger chases the tiger.[(((triple11) -> rule1))]