The bald eagle chases the squirrel. The bald eagle is not rough. The cat is kind. The cat is rough. The squirrel chases the bald eagle. The squirrel chases the cat. The squirrel is kind. The squirrel is rough. The squirrel does not see the bald eagle. The squirrel sees the cat. The squirrel visits the bald eagle. The squirrel visits the cat. All rough people are cold. If someone chases the squirrel then the squirrel chases the bald eagle. If someone chases the cat and they see the bald eagle then they are nice. If someone chases the bald eagle and the bald eagle does not see the squirrel then the squirrel sees the bald eagle. If someone is round and not kind then they chase the squirrel. Cold people are round. If the bald eagle is rough and the bald eagle does not see the cat then the bald eagle does not visit the squirrel. If someone is cold and they do not see the squirrel then the squirrel is not round.
The squirrel does not see the cat.
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle is not rough.[(triple2)] The cat is kind.[(triple3)] The cat is rough.[(triple4)] The squirrel chases the bald eagle.[(triple5 OR ((triple1) -> rule2))] The squirrel chases the cat.[(triple6)] The squirrel does not see the bald eagle.[(triple9)] The squirrel is kind.[(triple7)] The squirrel is rough.[(triple8)] The squirrel sees the cat.[(triple10)] The squirrel visits the bald eagle.[(triple11)] The squirrel visits the cat.[(triple12)] @1: The cat is cold.[(((triple4) -> rule1))] The squirrel is cold.[(((triple8) -> rule1))] @2: The cat is round.[(((((triple4) -> rule1)) -> rule6))] The squirrel is round.[(((((triple8) -> rule1)) -> rule6))]