The lion is big. The lion is not green. The lion is not rough. The lion is round. The lion is not young. All round, young things are green. If something is green and young then it is rough. If something is rough and not big then it is not young.
The lion is not rough.
@0: The lion is big.[(triple1)] The lion is not green.[(triple2)] The lion is not rough.[(triple3)] The lion is not young.[(triple5)] The lion is round.[(triple4)]