The lion is green. The lion is nice. The lion is red. The lion is rough. The lion is round. All round, nice people are rough. Green, red people are rough.
The lion does not like the lion.
@0: The lion is green.[(triple1)] The lion is nice.[(triple2)] The lion is red.[(triple3)] The lion is rough.[(triple4 OR ((triple1 triple3) -> rule2) OR ((triple5 triple2) -> rule1))] The lion is round.[(triple5)]