The squirrel is nice. All nice things are not round. Round things are big. All big things are kind.
The squirrel is not nice.
@0: The squirrel is nice.[(triple1)] @1: The squirrel is not round.[(((triple1) -> rule1))]