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