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