The lion is cold. The lion is nice. The lion is red. The lion is round. The lion is young. If something is cold then it is round. All cold things are young. Nice, cold things are young.
The lion is not cold.
@0: The lion is cold.[(triple1)] The lion is nice.[(triple2)] The lion is red.[(triple3)] The lion is round.[(triple4 OR ((triple1) -> rule1))] The lion is young.[(triple5 OR ((triple1) -> rule2) OR ((triple2 triple1) -> rule3))]