結果 : basic logic rules