The bald eagle does not chase the cow. The bald eagle does not chase the lion. The bald eagle does not chase the squirrel. The bald eagle is kind. The bald eagle likes the cow. The cow is not big. The cow is blue. The cow sees the squirrel. The lion is red. The squirrel sees the bald eagle. If something likes the lion then the lion is young. If the cow is kind then the cow chases the bald eagle. If something is blue then it likes the bald eagle.
The lion is kind.
@0: The bald eagle does not chase the cow.[(triple1)] The bald eagle does not chase the lion.[(triple2)] The bald eagle does not chase the squirrel.[(triple3)] The bald eagle is kind.[(triple4)] The bald eagle likes the cow.[(triple5)] The cow is blue.[(triple7)] The cow is not big.[(triple6)] The cow sees the squirrel.[(triple8)] The lion is red.[(triple9)] The squirrel sees the bald eagle.[(triple10)] @1: The cow likes the bald eagle.[(((triple7) -> rule3))]