The dog is rough. If someone is big then they are blue. If someone is round then they are blue. Rough people are big. All round, rough people are big. If someone is blue then they are round. All young people are not round.
The dog is not round.
@0: The dog is rough.[(triple1)] @1: The dog is big.[(((triple1) -> rule3))] @2: The dog is blue.[(((((triple1) -> rule3)) -> rule1))] @3: The dog is round.[(((((((triple1) -> rule3)) -> rule1)) -> rule5))]