The lion is big. The lion is cold. The lion is kind. The lion is red. The lion is rough. If something is rough and red then it is cold.
The lion is rough.
@0: The lion is big.[(triple1)] The lion is cold.[(triple2 OR ((triple5 triple4) -> rule1))] The lion is kind.[(triple3)] The lion is red.[(triple4)] The lion is rough.[(triple5)]