The lion is big. The lion is not cold. The lion is not green. The lion is not red. The lion is rough. If the lion is cold then the lion is red. All cold things are big. Green things are big. Cold things are not green. Red things are cold. If the lion is red then the lion is not big. If the lion is cold and the lion is not green then the lion is big. If the lion is green and the lion is rough then the lion is not big.
The lion sees the lion.
@0: The lion is big.[(triple1)] The lion is not cold.[(triple2)] The lion is not green.[(triple3)] The lion is not red.[(triple4)] The lion is rough.[(triple5)]