The lion is not cold. The lion is green. The lion is not red. The lion is not rough. The lion is round. If the lion is green and the lion is not cold then the lion is round. Green, cold people are rough.
The lion is not round.
@0: The lion is green.[(triple2)] The lion is not cold.[(triple1)] The lion is not red.[(triple3)] The lion is not rough.[(triple4)] The lion is round.[(triple5 OR ((triple2 triple1) -> rule1))]