The lion is big. The lion is cold. The lion is not green. The lion is nice. The lion is young. If something is big then it is cold.
The lion is not cold.
@0: The lion is big.[(triple1)] The lion is cold.[(triple2 OR ((triple1) -> rule1))] The lion is nice.[(triple4)] The lion is not green.[(triple3)] The lion is young.[(triple5)]