Bob is green. Bob is nice. Bob is round. Bob is not white. Charlie is not green. Charlie is not nice. Charlie is not smart. Round, green things are red. If Charlie is white and Charlie is red then Charlie is nice. Nice things are round.
Charlie is round.