The dog is red. If something is red then it is big. Young things are big. All cold, young things are big. If something is cold then it is big. If something is nice then it is cold. If the dog is red then the dog is not young. Nice things are not young. If something is cold and not nice then it is young.
The dog does not visit the dog.
@0: The dog is red.[(triple1)] @1: The dog is big.[(((triple1) -> rule1))] The dog is not young.[(((triple1) -> rule6))]