Anne is not kind. Anne is nice. Charlie is kind. Charlie is rough. Erin is big. Erin is nice. Gary is not round. Kind things are cold. If Gary is kind and Gary is cold then Gary is big. If something is red then it is rough. All round things are cold. If Anne is kind and Anne is not big then Anne is not round. If something is red then it is not round. If Gary is cold then Gary is round. If Anne is cold then Anne is not big.
Charlie is not rough.