The lion is not kind. The lion is red. The lion is rough. The lion is round. The lion is young. If something is young and kind then it is not red. All red things are rough. If something is rough and not round then it is young.
The lion eats the lion.
@0: The lion is not kind.[(triple1)] The lion is red.[(triple2)] The lion is rough.[(triple3 OR ((triple2) -> rule2))] The lion is round.[(triple4)] The lion is young.[(triple5)]