Charlie is quiet. Charlie is white. Dave is big. Dave is nice. Dave is quiet. Dave is rough. Erin is big. Erin is nice. Erin is rough. Fiona is quiet. If Fiona is quiet then Fiona is rough. If Charlie is rough and Charlie is big then Charlie is quiet. If someone is blue and big then they are white. Quiet people are big. Rough people are blue. All rough people are blue.
Dave is not rough.