Anne is big. Anne is cold. Anne is kind. Anne is quiet. Anne is not red. Anne is white. Erin is big. Erin is cold. Erin is kind. Erin is rough. Erin is white. Gary is cold. Gary is kind. Gary is red. Gary is white. Cold people are white. Rough, kind people are big. All white people are cold. If someone is kind and red then they are cold. If someone is big and red then they are kind. All quiet, kind people are white. If someone is rough and not white then they are big. If Anne is not cold and Anne is not rough then Anne is quiet.
Gary is not big.