Bob is big. Bob is quiet. Bob is rough. Bob is white. Charlie is rough. Erin is furry. Gary is furry. If something is furry then it is green. White, green things are smart. All smart, rough things are quiet. All quiet, green things are big. Rough, white things are green. All rough things are white. Quiet, furry things are smart.
Erin is not smart.