The lion is big. The lion is cold. The lion is green. The lion is kind. The lion is rough. All green, big people are kind. All cold, kind people are big.
The lion is cold.
@0: The lion is big.[(triple1 OR ((triple2 triple4) -> rule2))] The lion is cold.[(triple2)] The lion is green.[(triple3)] The lion is kind.[(triple4 OR ((triple3 triple1) -> rule1))] The lion is rough.[(triple5)]