Anne is nice. Bob is smart. Dave is nice. Erin is smart. All quiet people are big. All nice, big people are furry. Quiet people are nice. All nice people are smart. If someone is quiet and smart then they are nice. Rough, big people are quiet. All smart, rough people are furry. If Anne is big then Anne is round.
Dave is quiet.