The lion is kind. The lion is rough. The lion is young. Rough people are kind. Rough people are young. All big people are rough. Young, kind people are round. If someone is round and young then they are kind. Big people are kind. Big people are kind. If someone is rough then they are kind.
The lion is not rough.
@0: The lion is kind.[(triple1 OR ((triple2) -> rule1) OR ((triple2) -> rule8))] The lion is rough.[(triple2)] The lion is young.[(triple3 OR ((triple2) -> rule2))] @1: The lion is round.[(((triple3 triple1) -> rule4) OR ((triple3 ((triple2) -> rule1)) -> rule4) OR ((triple3 ((triple2) -> rule8)) -> rule4) OR ((((triple2) -> rule2) triple1) -> rule4) OR ((((triple2) -> rule2) ((triple2) -> rule1)) -> rule4) OR ((((triple2) -> rule2) ((triple2) -> rule8)) -> rule4))]