The squirrel is round. If something is kind then it is red. If something is rough and kind then it is red. If something is round then it is red.
The squirrel is not round.
@0: The squirrel is round.[(triple1)] @1: The squirrel is red.[(((triple1) -> rule3))]