The lion is big. The lion is cold. The lion is green. The lion is not rough. The lion is not young. If someone is cold and rough then they are young. Rough, big people are young. All rough people are young. If someone is rough then they are not young. All rough people are young. If the lion is young then the lion is green. All young, green people are big. If the lion is young and the lion is big then the lion is not cold.
The lion does not eat the lion.
@0: The lion is big.[(triple1)] The lion is cold.[(triple2)] The lion is green.[(triple3)] The lion is not rough.[(triple4)] The lion is not young.[(triple5)]