The bear is kind. The cat chases the squirrel. The squirrel is red. If someone is round then they do not visit the squirrel. If the squirrel is not young then the squirrel does not see the cat. If someone chases the bear and they chase the cat then they do not see the bear. If someone chases the cat then they see the cat. If someone visits the cat and the cat does not see the squirrel then the cat is not big. If someone chases the squirrel then they are red.
The cat chases the squirrel.
@0: The bear is kind.[(triple1)] The cat chases the squirrel.[(triple2)] The squirrel is red.[(triple3)] @1: The cat is red.[(((triple2) -> rule6))]