The dog is young. If something is red and cold then it is nice. If something is cold then it is red. If something is cold and nice then it is red. All cold things are blue. Young things are blue. If the dog is blue and the dog is red then the dog is cold.
The dog is not red.
@0: The dog is young.[(triple1)] @1: The dog is blue.[(((triple1) -> rule5))]