The lion is big. The lion is cold. The lion is green. The lion is not rough. The lion is round. If the lion is cold then the lion is round. All rough people are green.
The lion does not see 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 round.[(triple5 OR ((triple2) -> rule1))]