The lion is cold. The lion is not green. The lion is young. If the lion is young then the lion is not rough. If someone is blue and young then they are rough. All green people are cold. Blue people are not cold. Rough, young people are not cold. All green, rough people are blue. All rough people are blue. If the lion is rough then the lion is blue.
The lion is not blue.
@0: The lion is cold.[(triple1)] The lion is not green.[(triple2)] The lion is young.[(triple3)] @1: The lion is not rough.[(((triple3) -> rule1))]