The lion is blue. The lion is nice. The lion is red. The lion is rough. The lion is not young. If something is rough and not blue then it is nice.
The lion is not red.
@0: The lion is blue.[(triple1)] The lion is nice.[(triple2)] The lion is not young.[(triple5)] The lion is red.[(triple3)] The lion is rough.[(triple4)]