The tiger is round. If the tiger is red then the tiger is rough. If something is round then it is red. All round things are red. If something is red and not round then it is big. If something is rough then it is young. If something is round and not red then it is young. If something is big and not round then it is not young. Big things are young.
The tiger is not red.
@0: The tiger is round.[(triple1)] @1: The tiger is red.[(((triple1) -> rule2) OR ((triple1) -> rule3))] @2: The tiger is rough.[(((((triple1) -> rule2)) -> rule1) OR ((((triple1) -> rule3)) -> rule1))] @3: The tiger is young.[(((((((triple1) -> rule2)) -> rule1)) -> rule5) OR ((((((triple1) -> rule3)) -> rule1)) -> rule5))]