The lion is not green. The lion is nice. The lion is red. The lion is rough. The lion is not young. All nice things are not green. If the lion is red then the lion is rough. If the lion is green and the lion is nice then the lion is not red. Green, rough things are not young. All nice, green things are young. If something is rough and not green then it is not young.
The lion is nice.
@0: The lion is nice.[(triple2)] The lion is not green.[(triple1 OR ((triple2) -> rule1))] The lion is not young.[(triple5 OR ((triple4 triple1) -> rule6) OR ((triple4 ((triple2) -> rule1)) -> rule6) OR ((((triple3) -> rule2) triple1) -> rule6) OR ((((triple3) -> rule2) ((triple2) -> rule1)) -> rule6))] The lion is red.[(triple3)] The lion is rough.[(triple4 OR ((triple3) -> rule2))]