The lion is green. The lion is nice. The lion is red. The lion is round. The lion is young. All round things are green. Round, red things are young. Green things are red.
The lion is young.
@0: The lion is green.[(triple1 OR ((triple4) -> rule1))] The lion is nice.[(triple2)] The lion is red.[(triple3 OR ((triple1) -> rule3) OR ((((triple4) -> rule1)) -> rule3))] The lion is round.[(triple4)] The lion is young.[(triple5 OR ((triple4 triple3) -> rule2) OR ((triple4 ((triple1) -> rule3)) -> rule2) OR ((triple4 ((((triple4) -> rule1)) -> rule3)) -> rule2))]