The tiger is round. Nice, round things are green. Round, nice things are green. If something is nice and blue then it is not green. If something is round then it is nice. Green things are young. If the tiger is not green then the tiger is young.
The tiger is not young.
@0: The tiger is round.[(triple1)] @1: The tiger is nice.[(((triple1) -> rule4))] @2: The tiger is green.[(((triple1 ((triple1) -> rule4)) -> rule2) OR ((((triple1) -> rule4) triple1) -> rule1))] @3: The tiger is young.[(((((triple1 ((triple1) -> rule4)) -> rule2)) -> rule5) OR ((((((triple1) -> rule4) triple1) -> rule1)) -> rule5))]