Bob is cold. Bob is furry. Dave is nice. Dave is not quiet. Erin is cold. Gary is not cold. Gary is white. If something is cold and not big then it is nice. If Gary is nice then Gary is smart. All white things are nice. If something is big and quiet then it is white. If Gary is smart and Gary is nice then Gary is quiet. If Erin is big then Erin is white. If Gary is cold and Gary is not smart then Gary is white. If something is not white then it is nice.
Erin is not big.