Bob is not nice. Bob is red. Charlie is cold. Charlie is nice. Charlie is red. Dave is big. Dave is cold. Dave is red. Gary is cold. Gary is nice. Cold things are red. All red, cold things are big. All green, big things are round. If Gary is cold and Gary is rough then Gary is green. If Charlie is round and Charlie is not rough then Charlie is nice. If Gary is big then Gary is rough. Round things are big. Green things are red. If something is big and not red then it is nice.
Gary is not round.