The squirrel is round. All young things are rough. If something is green and not rough then it is not red. Red, rough things are not green.
The squirrel is not rough.
@0: The squirrel is round.[(triple1)]