The lion is blue. The lion is not round. The lion is young. If the lion is rough and the lion is not round then the lion is not kind. Round, rough things are kind. Rough, round things are kind. If something is kind and not young then it is blue. All young things are blue. If something is kind and not young then it is blue. All young things are rough. If the lion is not young then the lion is rough.
The lion is not young.
@0: The lion is blue.[(triple1 OR ((triple3) -> rule5))] The lion is not round.[(triple2)] The lion is young.[(triple3)] @1: The lion is rough.[(((triple3) -> rule7))] @2: The lion is not kind.[(((((triple3) -> rule7) triple2) -> rule1))]