Bob is nice. Bob is quiet. Bob is round. Bob is smart. Bob is white. Gary is kind. Gary is nice. Gary is round. Gary is not smart. Gary is white. All kind things are big. All smart things are kind. Big, smart things are nice. All kind, white things are quiet. If something is smart and not kind then it is nice. If something is kind and not nice then it is white. If Gary is nice and Gary is not white then Gary is big. If something is not white then it is round.
Bob is not round.