Anne is cold. Anne is smart. Dave is big. Dave is cold. Dave is rough. Dave is smart. Erin is kind. Erin is rough. Fiona is big. Fiona is cold. Fiona is rough. Cold things are green. All green things are white. All smart things are cold. If Erin is white and Erin is big then Erin is kind. All green things are big. Kind things are white. If something is big then it is rough. White things are green. Big, white things are smart.
Erin is smart.