The lion is blue. The lion is rough. The lion is young. All blue, young people are kind. If someone is blue then they are rough. If the lion is young and the lion is green then the lion is blue. Green, young people are kind. If someone is rough and blue then they are young. Green people are kind. Kind people are young. If someone is rough and young then they are kind.
The lion does not chase the lion.
@0: The lion is blue.[(triple1)] The lion is rough.[(triple2 OR ((triple1) -> rule2))] The lion is young.[(triple3 OR ((triple2 triple1) -> rule5) OR ((((triple1) -> rule2) triple1) -> rule5))] @1: The lion is kind.[(((triple1 triple3) -> rule1) OR ((triple2 triple3) -> rule8) OR ((triple1 ((triple2 triple1) -> rule5)) -> rule1) OR ((triple2 ((triple2 triple1) -> rule5)) -> rule8) OR ((((triple1) -> rule2) triple3) -> rule8) OR ((((triple1) -> rule2) ((triple2 triple1) -> rule5)) -> rule8) OR ((triple1 ((((triple1) -> rule2) triple1) -> rule5)) -> rule1) OR ((triple2 ((((triple1) -> rule2) triple1) -> rule5)) -> rule8) OR ((((triple1) -> rule2) ((((triple1) -> rule2) triple1) -> rule5)) -> rule8))]