Bob is big. Bob is cold. Bob is white. Dave is nice. Erin is red. Erin is smart. Fiona is nice. If something is red and smart then it is furry. Smart things are big. If something is red and white then it is smart. All red, furry things are smart. If something is furry then it is white. All smart, white things are big.
Erin is smart.