The lion is green. The lion is kind. The lion is rough. All rough people are young. If the lion is not rough then the lion is young. If someone is red and kind then they are green. All rough people are kind. If someone is green and not young then they are kind. If someone is red and not rough then they are not kind.
The lion visits the lion.
@0: The lion is green.[(triple1)] The lion is kind.[(triple2 OR ((triple3) -> rule4))] The lion is rough.[(triple3)] @1: The lion is young.[(((triple3) -> rule1))]