The lion is cold. The lion is kind. The lion is young. Young people are kind. If the lion is cold and the lion is blue then the lion is young. All cold, young people are kind.
The lion likes the lion.
@0: The lion is cold.[(triple1)] The lion is kind.[(triple2 OR ((triple3) -> rule1) OR ((triple1 triple3) -> rule3))] The lion is young.[(triple3)]