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