Bob is big. Bob is furry. Dave is big. Dave is furry. Dave is green. Dave is nice. Dave is smart. Dave is white. Erin is big. Erin is furry. Erin is not green. Erin is rough. Erin is smart. Erin is white. Harry is white. If Bob is big then Bob is white. All smart things are nice. If Harry is furry then Harry is rough. Nice, rough things are smart. If something is smart and not green then it is nice. If something is nice and not big then it is furry. If Erin is big then Erin is smart. If something is not nice and not white then it is not furry.
Harry is not rough.