The lion is not kind. The lion is nice. The lion is not red. The lion is rough. The lion is young. If something is nice then it is young. Nice, red things are rough.
The lion is not kind.
@0: The lion is nice.[(triple2)] The lion is not kind.[(triple1)] The lion is not red.[(triple3)] The lion is rough.[(triple4)] The lion is young.[(triple5 OR ((triple2) -> rule1))]