Anne is big. Anne is nice. Anne is smart. Dave is big. Dave is quiet. Dave is red. Dave is smart. Erin is nice. Erin is rough. Fiona is big. Fiona is quiet. Fiona is rough. All cold things are smart. If Erin is rough and Erin is nice then Erin is smart. If Dave is cold and Dave is big then Dave is rough. Big things are nice. If something is quiet then it is red. Nice things are red.
Erin is big.