The tiger is kind. If something is big then it is young. If the tiger is green then the tiger is kind. If something is red then it is big. If something is green then it is kind. Kind things are red. All green things are red. If the tiger is big and the tiger is green then the tiger is young. Red, young things are green.
The tiger is red.
@0: The tiger is kind.[(triple1)] @1: The tiger is red.[(((triple1) -> rule5))] @2: The tiger is big.[(((((triple1) -> rule5)) -> rule3))] @3: The tiger is young.[(((((((triple1) -> rule5)) -> rule3)) -> rule1))] @4: The tiger is green.[(((((triple1) -> rule5) ((((((triple1) -> rule5)) -> rule3)) -> rule1)) -> rule8))]