The lion is cold. The lion is not green. The lion is not rough. Cold things are not green. All kind, cold things are not green. All cold, rough things are green. Cold things are kind. All rough things are blue. If something is cold and not kind then it is blue. If something is green and not kind then it is not blue. If something is green then it is blue.
The lion sees the lion.
@0: The lion is cold.[(triple1)] The lion is not green.[(triple2 OR ((triple1) -> rule1) OR ((((triple1) -> rule4) triple1) -> rule2))] The lion is not rough.[(triple3)] @1: The lion is kind.[(((triple1) -> rule4))]