Anne is big. Anne is red. Anne is rough. Anne is round. Anne is smart. Dave is blue. Dave is nice. Dave is rough. Dave is smart. Gary is big. Gary is nice. Gary is red. Gary is rough. Gary is round. Gary is smart. Red, big people are round. Rough, smart people are red. If someone is smart and round then they are big. If Anne is big and Anne is blue then Anne is nice. Round people are rough. If someone is red and smart then they are rough. Smart, rough people are red. If someone is rough and nice then they are round.
Dave is not nice.