The lion is green. The lion is kind. The lion is young. All green, young things are kind. If the lion is blue and the lion is young then the lion is kind. If the lion is blue and the lion is not green then the lion is kind. If something is young and rough then it is not blue. If something is young then it is blue. If something is kind then it is not rough.
The lion does not need the lion.
@0: The lion is green.[(triple1)] The lion is kind.[(triple2 OR ((triple1 triple3) -> rule1) OR ((((triple3) -> rule5) triple3) -> rule2))] The lion is young.[(triple3)] @1: The lion is blue.[(((triple3) -> rule5))] The lion is not rough.[(((triple2) -> rule6) OR ((((triple1 triple3) -> rule1)) -> rule6) OR ((((((triple3) -> rule5) triple3) -> rule2)) -> rule6))]