Dave is cold. If Dave is nice then Dave is cold. Kind people are nice. If someone is young then they are nice. If someone is young then they are blue. If someone is green and blue then they are cold. If someone is nice then they are young.
Dave is not cold.
@0: Dave is cold.[(triple1)]