The lion is blue. The lion is kind. The lion is nice. The lion is rough. The lion is round. If something is blue then it is kind. Kind things are round. All blue things are nice.
The lion does not need the lion.
@0: The lion is blue.[(triple1)] The lion is kind.[(triple2 OR ((triple1) -> rule1))] The lion is nice.[(triple3 OR ((triple1) -> rule3))] The lion is rough.[(triple4)] The lion is round.[(triple5 OR ((triple2) -> rule2) OR ((((triple1) -> rule1)) -> rule2))]