The lion is blue. The lion is green. The lion is rough. The lion is round. The lion is young. If the lion is blue then the lion is green. If something is rough then it is green. If something is round then it is rough. Rough, blue things are round. If the lion is young and the lion is blue then the lion is round. Blue things are round.
The lion is young.
@0: The lion is blue.[(triple1)] The lion is green.[(triple2 OR ((triple1) -> rule1) OR ((triple3) -> rule2) OR ((((triple4) -> rule3)) -> rule2) OR ((((((triple1) -> rule6)) -> rule3)) -> rule2) OR ((((((triple5 triple1) -> rule5)) -> rule3)) -> rule2))] The lion is rough.[(triple3 OR ((triple4) -> rule3) OR ((((triple1) -> rule6)) -> rule3) OR ((((triple5 triple1) -> rule5)) -> rule3))] The lion is round.[(triple4 OR ((triple1) -> rule6) OR ((triple3 triple1) -> rule4) OR ((triple5 triple1) -> rule5))] The lion is young.[(triple5)]