The lion is big. The lion is not blue. The lion is green. The lion is round. The lion is not young. If the lion is young then the lion is big. Blue things are young.
The lion is blue.
@0: The lion is big.[(triple1)] The lion is green.[(triple3)] The lion is not blue.[(triple2)] The lion is not young.[(triple5)] The lion is round.[(triple4)]