The lion is blue. The lion is cold. The lion is kind. The lion is red. The lion is young. If the lion is red then the lion is kind. All cold things are kind.
The lion needs the lion.
@0: The lion is blue.[(triple1)] The lion is cold.[(triple2)] The lion is kind.[(triple3 OR ((triple2) -> rule2) OR ((triple4) -> rule1))] The lion is red.[(triple4)] The lion is young.[(triple5)]