The lion is not rough. If the lion is red then the lion is blue. Blue things are not green. Blue things are green. All green, red things are kind. If something is red and not green then it is not rough. All green things are rough. If something is kind and not green then it is rough. If something is red and green then it is rough.
The lion sees the lion.
@0: The lion is not rough.[(triple1)]