2以上蓋然性ロジック