The tiger is not cold. The tiger is green. The tiger is nice. Cold, green things are nice. All green things are not cold. If the tiger is nice then the tiger is young. If the tiger is cold then the tiger is nice. If something is young and not nice then it is blue. If something is young and not cold then it is blue.
The tiger does not need the tiger.
@0: The tiger is green.[(triple2)] The tiger is nice.[(triple3)] The tiger is not cold.[(triple1 OR ((triple2) -> rule2))] @1: The tiger is young.[(((triple3) -> rule3))] @2: The tiger is blue.[(((((triple3) -> rule3) triple1) -> rule6) OR ((((triple3) -> rule3) ((triple2) -> rule2)) -> rule6))]