The lion is big. The lion is not blue. The lion is nice. The lion is red. The lion is round. All blue people are nice. If someone is blue then they are not red.
The lion does not eat the lion.
@0: The lion is big.[(triple1)] The lion is nice.[(triple3)] The lion is not blue.[(triple2)] The lion is red.[(triple4)] The lion is round.[(triple5)]