The lion is green. If the lion is big then the lion is not kind. All green people are not nice.
The lion does not visit the lion.
@0: The lion is green.[(triple1)] @1: The lion is not nice.[(((triple1) -> rule2))]