The dog is cold. If the dog is round and the dog is young then the dog is nice. If something is young and not blue then it is cold. Cold things are round. Blue, young things are round. All nice things are round. Round things are young.
The dog is not young.
@0: The dog is cold.[(triple1)] @1: The dog is round.[(((triple1) -> rule3))] @2: The dog is young.[(((((triple1) -> rule3)) -> rule6))] @3: The dog is nice.[(((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule1))]