The lion is kind. The lion is nice. The lion is round. If something is nice then it is round. Red, young things are round. If something is red then it is round. If the lion is red and the lion is not young then the lion is round. If the lion is young then the lion is nice. If something is round then it is nice. If something is young and not red then it is nice. Red, round things are kind.
The lion is not red.
@0: The lion is kind.[(triple1)] The lion is nice.[(triple2 OR ((triple3) -> rule6))] The lion is round.[(triple3 OR ((triple2) -> rule1))]