The tiger is big. Big people are kind. If someone is young then they are kind. Blue people are kind. If the tiger is nice and the tiger is big then the tiger is young. Kind, nice people are blue. Big, nice people are kind. Kind people are nice. All blue people are nice.
The tiger does not eat the tiger.
@0: The tiger is big.[(triple1)] @1: The tiger is kind.[(((triple1) -> rule1))] @2: The tiger is nice.[(((((triple1) -> rule1)) -> rule7))] @3: The tiger is blue.[(((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule7)) -> rule5))] The tiger is young.[(((((((triple1) -> rule1)) -> rule7) triple1) -> rule4))]