The bald eagle sees the cat. The cat is cold. The cat is kind. The cat is nice. The cow is cold. The cow is nice. The cow does not see the cat. The squirrel is not nice. The squirrel does not see the cat. The squirrel visits the cat. If someone sees the cow and they chase the cow then the cow is not young. If someone is nice then they do not see the cow. If someone sees the squirrel and the squirrel does not visit the cow then they are young.
The bald eagle is not young.
@0: The bald eagle sees the cat.[(triple1)] The cat is cold.[(triple2)] The cat is kind.[(triple3)] The cat is nice.[(triple4)] The cow does not see the cat.[(triple7)] The cow is cold.[(triple5)] The cow is nice.[(triple6)] The squirrel does not see the cat.[(triple9)] The squirrel is not nice.[(triple8)] The squirrel visits the cat.[(triple10)] @1: The cat does not see the cow.[(((triple4) -> rule2))] The cow does not see the cow.[(((triple6) -> rule2))]