Anne is cold. Bob is big. Bob is blue. Bob is cold. Bob is nice. Charlie is kind. Erin is big. Erin is blue. Erin is nice. Erin is round. Round, nice things are kind. If something is kind then it is rough. All round things are big. If Anne is kind and Anne is rough then Anne is round. If something is cold then it is round. If something is round and cold then it is big.
Charlie is not round.