Erin is red. If Erin is blue then Erin is young. All blue people are rough. All kind people are young. If someone is rough then they are cold. If someone is rough and cold then they are kind. Kind, young people are blue. All cold, kind people are young. If Erin is rough and Erin is blue then Erin is smart.
Erin is not red.
@0: Erin is red.[(triple1)]