Dave is cold. Erin is cold. If someone is cold and not red then they are round. Smart, red people are round. If Dave is smart and Dave is cold then Dave is not big. If someone is young and not red then they are not smart. If Dave is young and Dave is kind then Dave is round. If Erin is young then Erin is smart.
Dave is red.
@0: Dave is cold.[(triple1)] Erin is cold.[(triple2)]