The tiger is round. All young, rough things are not nice. If something is round then it is rough. If something is kind and nice then it is not rough. All kind, round things are rough. If the tiger is rough then the tiger is young. Young things are round.
The tiger does not see the tiger.
@0: The tiger is round.[(triple1)] @1: The tiger is rough.[(((triple1) -> rule2))] @2: The tiger is young.[(((((triple1) -> rule2)) -> rule5))] @3: The tiger is not nice.[(((((((triple1) -> rule2)) -> rule5) ((triple1) -> rule2)) -> rule1))]