The lion is kind. All blue things are young. Kind things are young. Kind things are blue. Young, kind things are red. If something is young and not red then it is round. Red things are round. All red, young things are round. If the lion is kind and the lion is not young then the lion is round.
The lion is not young.
@0: The lion is kind.[(triple1)] @1: The lion is blue.[(((triple1) -> rule3))] The lion is young.[(((triple1) -> rule2) OR ((((triple1) -> rule3)) -> rule1))] @2: The lion is red.[(((((triple1) -> rule2) triple1) -> rule4) OR ((((((triple1) -> rule3)) -> rule1) triple1) -> rule4))] @3: The lion is round.[(((((((triple1) -> rule2) triple1) -> rule4)) -> rule6) OR ((((((triple1) -> rule2) triple1) -> rule4) ((triple1) -> rule2)) -> rule7) OR ((((((triple1) -> rule2) triple1) -> rule4) ((((triple1) -> rule3)) -> rule1)) -> rule7) OR ((((((((triple1) -> rule3)) -> rule1) triple1) -> rule4)) -> rule6) OR ((((((((triple1) -> rule3)) -> rule1) triple1) -> rule4) ((triple1) -> rule2)) -> rule7) OR ((((((((triple1) -> rule3)) -> rule1) triple1) -> rule4) ((((triple1) -> rule3)) -> rule1)) -> rule7))]