Anne is nice. Dave is nice. Dave is quiet. Gary is big. Gary is nice. Gary is quiet. Gary is smart. Harry is green. Harry is smart. Harry is white. Quiet, smart things are round. If something is big then it is green. All smart things are quiet. All white things are smart. Big things are white. If something is green then it is big.
Harry is not big.