The lion is blue. The lion is green. The lion is kind. The lion is red. The lion is young. If the lion is young and the lion is green then the lion is red. All kind, red people are young.
The lion does not see the lion.
@0: The lion is blue.[(triple1)] The lion is green.[(triple2)] The lion is kind.[(triple3)] The lion is red.[(triple4 OR ((triple5 triple2) -> rule1))] The lion is young.[(triple5 OR ((triple3 triple4) -> rule2))]