Anne is big. Anne is round. Anne is white. Bob is cold. Bob is quiet. Bob is rough. Bob is white. Charlie is white. Dave is big. Dave is quiet. Dave is round. Dave is white. If Charlie is quiet then Charlie is rough. All cold, white people are rough. All rough people are big. If Dave is round then Dave is quiet. If someone is rough and cold then they are quiet. Rough, quiet people are round. If someone is round and big then they are rough. White people are cold. Round people are red.
Bob is rough.