The tiger is cold. The tiger is nice. The tiger is round. All round, nice things are young. Young things are round. Nice, young things are cold. Round, rough things are cold. If something is nice and round then it is young. All young things are round.
The tiger does not chase the tiger.
@0: The tiger is cold.[(triple1 OR ((triple2 ((triple2 triple3) -> rule5)) -> rule3) OR ((triple2 ((triple3 triple2) -> rule1)) -> rule3))] The tiger is nice.[(triple2)] The tiger is round.[(triple3)] @1: The tiger is young.[(((triple2 triple3) -> rule5) OR ((triple3 triple2) -> rule1))]