The bald eagle is green. The bald eagle is nice. The bald eagle is red. The lion eats the tiger. The lion sees the bald eagle. The squirrel chases the bald eagle. The squirrel is green. The squirrel is rough. The tiger chases the bald eagle. The tiger does not chase the squirrel. The tiger is green. The tiger is nice. If something is red and it does not chase the squirrel then the squirrel chases the tiger. If something eats the squirrel then it is blue. If something is blue and it sees the lion then the lion is rough. If something sees the squirrel and it is green then the squirrel eats the tiger. If something chases the bald eagle and it does not see the lion then it chases the tiger. If something sees the lion and it is not red then the lion sees the bald eagle. If something chases the tiger then the tiger chases the lion. If something eats the tiger then it is rough.
The squirrel does not chase the tiger.
@0: The bald eagle is green.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle is red.[(triple3)] The lion eats the tiger.[(triple4)] The lion sees the bald eagle.[(triple5)] The squirrel chases the bald eagle.[(triple6)] The squirrel is green.[(triple7)] The squirrel is rough.[(triple8)] The tiger chases the bald eagle.[(triple9)] The tiger does not chase the squirrel.[(triple10)] The tiger is green.[(triple11)] The tiger is nice.[(triple12)] @1: The lion is rough.[(((triple4) -> rule8))]