Erin is rough. Gary is white. Blue things are rough. If Gary is smart then Gary is rough. If something is smart then it is nice. If Erin is white and Erin is not cold then Erin is smart. Nice things are blue. If something is cold then it is rough. All smart things are nice. If something is white then it is smart.
Erin is blue.