Bob is big. Bob is cold. Bob is quiet. Bob is smart. Bob is white. Charlie is big. Charlie is cold. Charlie is green. Charlie is quiet. Dave is big. Dave is cold. Dave is kind. Dave is quiet. Dave is smart. Dave is white. Harry is green. If something is white and smart then it is green. Big things are kind. Big, kind things are cold. Smart things are cold. Green things are smart. If something is white and cold then it is big. If Harry is cold and Harry is green then Harry is white.
Harry is big.