Bob is big. Bob is cold. Bob is rough. Dave is furry. Dave is rough. Dave is smart. Erin is big. Erin is furry. Erin is rough. Erin is round. Erin is smart. Erin is white. If something is big then it is white. White things are smart. If Erin is white and Erin is round then Erin is furry. If something is furry and round then it is cold. All furry things are round. If something is white then it is round. If Dave is rough and Dave is smart then Dave is furry. All smart, cold things are furry.
Dave is big.