The bald eagle is round. The bald eagle needs the tiger. The dog is round. The dog needs the bald eagle. The squirrel needs the bald eagle. The tiger is cold. The tiger is rough. If someone likes the bald eagle then they do not need the squirrel. If someone is green and they do not need the bald eagle then the bald eagle chases the dog. If someone chases the tiger then the tiger chases the bald eagle. If someone is cold and not round then they do not like the squirrel. If someone likes the dog and they are not cold then they chase the squirrel. If the bald eagle is round then the bald eagle needs the squirrel. If someone is big and not cold then they chase the dog. If someone chases the bald eagle and they do not need the squirrel then the bald eagle is not big.
The dog does not chase the squirrel.
@0: The bald eagle is round.[(triple1)] The bald eagle needs the tiger.[(triple2)] The dog is round.[(triple3)] The dog needs the bald eagle.[(triple4)] The squirrel needs the bald eagle.[(triple5)] The tiger is cold.[(triple6)] The tiger is rough.[(triple7)] @1: The bald eagle needs the squirrel.[(((triple1) -> rule6))]