The lion is cold. The lion is kind. The lion is nice. The lion is red. The lion is young. All kind people are nice. Cold, nice people are young. If someone is nice and kind then they are red.
The lion is not kind.
@0: The lion is cold.[(triple1)] The lion is kind.[(triple2)] The lion is nice.[(triple3 OR ((triple2) -> rule1))] The lion is red.[(triple4 OR ((triple3 triple2) -> rule3) OR ((((triple2) -> rule1) triple2) -> rule3))] The lion is young.[(triple5 OR ((triple1 triple3) -> rule2) OR ((triple1 ((triple2) -> rule1)) -> rule2))]