The lion is cold. The lion is green. The lion is nice. The lion is rough. The lion is young. Young, rough things are cold. If something is rough and nice then it is cold.
The lion is not cold.
@0: The lion is cold.[(triple1 OR ((triple4 triple3) -> rule2) OR ((triple5 triple4) -> rule1))] The lion is green.[(triple2)] The lion is nice.[(triple3)] The lion is rough.[(triple4)] The lion is young.[(triple5)]