Erin is cold. Smart people are big. If someone is big and not round then they are blue. All big people are red. Red people are not smart. All red, big people are not nice. All big, nice people are cold. If someone is nice and not red then they are cold. If Erin is nice and Erin is not cold then Erin is blue.
Erin is not blue.
@0: Erin is cold.[(triple1)]