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