The lion is big. The lion is cold. The lion is not green. The lion is rough. The lion is young. Green things are big. If the lion is not green then the lion is cold. Young, rough things are cold.
The lion does not like the lion.
@0: The lion is big.[(triple1)] The lion is cold.[(triple2 OR ((triple3) -> rule2) OR ((triple5 triple4) -> rule3))] The lion is not green.[(triple3)] The lion is rough.[(triple4)] The lion is young.[(triple5)]