Anne is blue. Anne is not rough. Anne is not smart. Dave is big. Dave is blue. Dave is not cold. Dave is quiet. Erin is big. Erin is cold. Erin is nice. Erin is smart. Gary is big. Gary is blue. Gary is cold. Gary is smart. If something is nice then it is big. If Anne is smart then Anne is not nice. If Erin is rough then Erin is quiet.
Anne is not big.