The bald eagle is red. The lion eats the bald eagle. The lion eats the tiger. The lion sees the squirrel. The squirrel eats the bald eagle. The squirrel is green. The tiger eats the bald eagle. If someone eats the lion then the lion is round. If someone sees the bald eagle then the bald eagle eats the squirrel. If someone sees the tiger and the tiger visits the lion then they visit the lion. If the tiger sees the squirrel and the squirrel is green then the squirrel is round. If someone sees the squirrel and they eat the tiger then they visit the lion. If the squirrel sees the lion and the squirrel is red then the squirrel visits the bald eagle. If the squirrel eats the tiger then the tiger eats the squirrel. If someone eats the lion then the lion is red.
The squirrel is not green.
@0: The bald eagle is red.[(triple1)] The lion eats the bald eagle.[(triple2)] The lion eats the tiger.[(triple3)] The lion sees the squirrel.[(triple4)] The squirrel eats the bald eagle.[(triple5)] The squirrel is green.[(triple6)] The tiger eats the bald eagle.[(triple7)] @1: The lion visits the lion.[(((triple4 triple3) -> rule5))]