The lion is young. If someone is young then they are round. Red people are blue. Red, rough people are young. Rough people are blue. All blue, red people are rough. All blue, round people are young. If someone is red then they are rough. Young, blue people are round.
The lion sees the lion.
@0: The lion is young.[(triple1)] @1: The lion is round.[(((triple1) -> rule1))]