The bald eagle is blue. The bald eagle is not green. The bald eagle likes the cat. The bald eagle likes the lion. The bald eagle sees the lion. The bald eagle does not see the squirrel. The cat chases the bald eagle. The cat chases the lion. The cat is green. The cat is not round. The cat sees the bald eagle. The lion chases the bald eagle. The lion likes the squirrel. The lion sees the cat. The squirrel does not chase the lion. The squirrel is young. If something chases the cat and the cat is big then it is big. If the bald eagle likes the squirrel and the bald eagle does not see the lion then the bald eagle does not chase the cat. If something is blue then it likes the squirrel.
The bald eagle is young.
@0: The bald eagle does not see the squirrel.[(triple6)] The bald eagle is blue.[(triple1)] The bald eagle is not green.[(triple2)] The bald eagle likes the cat.[(triple3)] The bald eagle likes the lion.[(triple4)] The bald eagle sees the lion.[(triple5)] The cat chases the bald eagle.[(triple7)] The cat chases the lion.[(triple8)] The cat is green.[(triple9)] The cat is not round.[(triple10)] The cat sees the bald eagle.[(triple11)] The lion chases the bald eagle.[(triple12)] The lion likes the squirrel.[(triple13)] The lion sees the cat.[(triple14)] The squirrel does not chase the lion.[(triple15)] The squirrel is young.[(triple16)] @1: The bald eagle likes the squirrel.[(((triple1) -> rule3))]