The lion is blue. The lion is cold. The lion is nice. The lion is round. The lion is young. All young things are nice. Blue things are nice. All round, cold things are nice. If the lion is round then the lion is nice. If something is blue and cold then it is nice. Young, blue things are round.
The lion does not need the lion.
@0: The lion is blue.[(triple1)] The lion is cold.[(triple2)] The lion is nice.[(triple3 OR ((triple1) -> rule2) OR ((triple4) -> rule4) OR ((triple5) -> rule1) OR ((triple1 triple2) -> rule5) OR ((triple4 triple2) -> rule3) OR ((((triple5 triple1) -> rule6)) -> rule4) OR ((((triple5 triple1) -> rule6) triple2) -> rule3))] The lion is round.[(triple4 OR ((triple5 triple1) -> rule6))] The lion is young.[(triple5)]