The lion is green. The lion is nice. The lion is red. The lion is rough. The lion is young. If something is green and young then it is red.
The lion likes the lion.
@0: The lion is green.[(triple1)] The lion is nice.[(triple2)] The lion is red.[(triple3 OR ((triple1 triple5) -> rule1))] The lion is rough.[(triple4)] The lion is young.[(triple5)]