The lion is green. The lion is kind. The lion is nice. The lion is rough. The lion is round. Kind people are rough. If someone is kind then they are rough.
The lion is not round.
@0: The lion is green.[(triple1)] The lion is kind.[(triple2)] The lion is nice.[(triple3)] The lion is rough.[(triple4 OR ((triple2) -> rule1) OR ((triple2) -> rule2))] The lion is round.[(triple5)]