The dog is big. All big people are young. All nice people are not young. If the dog is young then the dog is green. All nice, young people are big. If the dog is nice then the dog is young. If someone is round and not big then they are green. Nice, big people are green. Green, young people are round.
The dog is not young.
@0: The dog is big.[(triple1)] @1: The dog is young.[(((triple1) -> rule1))] @2: The dog is green.[(((((triple1) -> rule1)) -> rule3))] @3: The dog is round.[(((((((triple1) -> rule1)) -> rule3) ((triple1) -> rule1)) -> rule8))]