The lion is big. The lion is nice. The lion is rough. If someone is young and rough then they are nice. Rough people are young. If the lion is nice then the lion is cold. Young people are rough. If someone is cold and big then they are young. If someone is rough and nice then they are young.
The lion is not nice.
@0: The lion is big.[(triple1)] The lion is nice.[(triple2 OR ((((triple3) -> rule2) triple3) -> rule1))] The lion is rough.[(triple3 OR ((((((triple2) -> rule3) triple1) -> rule5)) -> rule4))] @1: The lion is cold.[(((triple2) -> rule3) OR ((((((triple3) -> rule2) triple3) -> rule1)) -> rule3))] The lion is young.[(((triple3) -> rule2) OR ((triple3 triple2) -> rule6) OR ((((triple2) -> rule3) triple1) -> rule5))]