Anne is rough. Charlie is quiet. Erin is rough. Gary is big. Smart people are blue. If Erin is blue and Erin is red then Erin is quiet. All rough people are smart. If someone is quiet then they are furry. If someone is smart then they are furry. If someone is big then they are rough.
Anne is not quiet.