The tiger is nice. If the tiger is nice then the tiger is round. If the tiger is round and the tiger is nice then the tiger is young. All nice things are young. Red things are cold. All cold, nice things are young. All cold things are red. All red, nice things are cold. If something is nice then it is round.
The tiger is nice.
@0: The tiger is nice.[(triple1)] @1: The tiger is round.[(((triple1) -> rule1) OR ((triple1) -> rule8))] The tiger is young.[(((triple1) -> rule3) OR ((((triple1) -> rule1) triple1) -> rule2) OR ((((triple1) -> rule8) triple1) -> rule2))]