The lion is big. The lion is cold. The lion is nice. The lion is red. The lion is round. Round things are cold. If something is cold and not nice then it is round.
The lion is not nice.
@0: The lion is big.[(triple1)] The lion is cold.[(triple2 OR ((triple5) -> rule1))] The lion is nice.[(triple3)] The lion is red.[(triple4)] The lion is round.[(triple5)]