Anne is big. Anne is kind. Anne is quiet. Anne is round. Dave is quiet. Dave is red. Fiona is red. Fiona is round. Gary is big. Gary is cold. All cold people are round. Cold people are smart. Kind, quiet people are cold. If someone is round then they are quiet. Quiet people are kind. All cold, big people are kind. If Gary is cold and Gary is round then Gary is quiet. Smart people are big.
Anne is not red.