The lion is blue. The lion is cold. The lion is nice. The lion is round. The lion is young. If the lion is young and the lion is nice then the lion is cold. Round, nice people are young. All blue, round people are cold.
The lion does not like the lion.
@0: The lion is blue.[(triple1)] The lion is cold.[(triple2 OR ((triple1 triple4) -> rule3) OR ((triple5 triple3) -> rule1) OR ((((triple4 triple3) -> rule2) triple3) -> rule1))] The lion is nice.[(triple3)] The lion is round.[(triple4)] The lion is young.[(triple5 OR ((triple4 triple3) -> rule2))]