The dog is young. Kind people are round. Kind, young people are not round. Young people are cold. If someone is round then they are not young. If someone is cold and not kind then they are red. All cold people are not red. All cold people are not red. If the dog is young and the dog is kind then the dog is not cold.
The dog likes the dog.
@0: The dog is young.[(triple1)] @1: The dog is cold.[(((triple1) -> rule3))] @2: The dog is not red.[(((((triple1) -> rule3)) -> rule6) OR ((((triple1) -> rule3)) -> rule7))]