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