The cat is not big. The squirrel chases the cat. If the cat is big and the squirrel does not like the cat then the squirrel eats the cat. If someone chases the cat then the cat is not kind. If the squirrel is kind and the squirrel does not chase the cat then the squirrel is rough.
The squirrel is not rough.
@0: The cat is not big.[(triple1)] The squirrel chases the cat.[(triple2)] @1: The cat is not kind.[(((triple2) -> rule2))]