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