Bob is big. Bob is nice. Bob is white. Dave is big. Dave is furry. Dave is nice. Gary is blue. Gary is furry. Gary is nice. Gary is rough. Gary is smart. Gary is white. If Gary is white and Gary is smart then Gary is furry. All furry, smart people are nice. All big people are white. If Dave is blue then Dave is furry. All rough, furry people are smart. Big, rough people are smart. All rough people are furry. If someone is blue then they are smart.
Gary is not rough.