The tiger is blue. If the tiger is blue then the tiger is big. If the tiger is big and the tiger is blue then the tiger is not round. If the tiger is big then the tiger is blue. If the tiger is not round then the tiger is not nice. If the tiger is not round and the tiger is not big then the tiger is not nice. If something is round and nice then it is not rough.
The tiger is nice.
@0: The tiger is blue.[(triple1)] @1: The tiger is big.[(((triple1) -> rule1))] @2: The tiger is not round.[(((((triple1) -> rule1) triple1) -> rule2))] @3: The tiger is not nice.[(((((((triple1) -> rule1) triple1) -> rule2)) -> rule4))]