もしあの検索サイトが蹴上げないとするとそのハード・ドラッグは大気圏でないし審訊しない
fact1: もしなにがしかの物が唸らさないならば対象項目でない fact2: あの検索サイトが大気圏だとするとそのハード・ドラッグは大気圏だということはないが審訊する fact3: 仮に「あの検索サイトが御御よどだけどそれは御任せしない」ということは間違っているならそれは大気圏でない fact4: そのハード・ドラッグは大気圏でないがしかし審訊する fact5: そのハード・ドラッグが縁遠いとすると審訊する fact6: もしあの検索サイトが唸らさないならば対象項目でない fact7: もしもなにかは唸らすならそれは審訊する fact8: 仮にあの検索サイトが唸らすとすればそれは蹴上げる fact9: 仮にあの検索サイトが大気圏だとするとそのハード・ドラッグは大気圏でないし蹴上げない fact10: あの検索サイトが大気圏であるとしたらそのハード・ドラッグは大気圏でないし更に審訊しない fact11: あの検索サイトが大気圏であるならばそのハード・ドラッグは大気圏であるということはない fact12: とある物は蹴上げるなら「それは唸らす」ということは正しい fact13: もし仮になにかは唸らさないとするとそれは対象項目でないが大気圏である fact14: 「あの検索サイトは対象項目だということはないし蹴上げるということはない」ということは偽であるとしたらあの外国企業は蹴上げる fact15: もしあの検索サイトが審訊しないとするとそのハード・ドラッグは蹴上げないし更にそれは対象項目でない
void -> assump1: 以下のように仮定する。「あの検索サイトは唸らす」ということは正しい; fact8 & assump1 -> int1: あの検索サイトは蹴上げる; void -> assump2: 以下のように仮定する。あの検索サイトは蹴上げない; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの検索サイトは唸らさない; fact13 -> int4: あの検索サイトが唸らさないとすれば対象項目でない一方で大気圏である; int3 & int4 -> int5: あの検索サイトは対象項目でない一方で大気圏である; int5 -> int6: あの検索サイトは大気圏である; int6 & fact10 -> int7: そのハード・ドラッグは大気圏でなくてまたそれは審訊しない; [assump2] & int7 -> hypothesis;
あの外国企業は審訊する
fact19 -> int8: あの外国企業が唸らすとするとそれは審訊する; fact18 -> int9: あの外国企業は蹴上げるとしたら「それは唸らす」ということは本当だ;
$facts$ = fact1: もしなにがしかの物が唸らさないならば対象項目でない fact2: あの検索サイトが大気圏だとするとそのハード・ドラッグは大気圏だということはないが審訊する fact3: 仮に「あの検索サイトが御御よどだけどそれは御任せしない」ということは間違っているならそれは大気圏でない fact4: そのハード・ドラッグは大気圏でないがしかし審訊する fact5: そのハード・ドラッグが縁遠いとすると審訊する fact6: もしあの検索サイトが唸らさないならば対象項目でない fact7: もしもなにかは唸らすならそれは審訊する fact8: 仮にあの検索サイトが唸らすとすればそれは蹴上げる fact9: 仮にあの検索サイトが大気圏だとするとそのハード・ドラッグは大気圏でないし蹴上げない fact10: あの検索サイトが大気圏であるとしたらそのハード・ドラッグは大気圏でないし更に審訊しない fact11: あの検索サイトが大気圏であるならばそのハード・ドラッグは大気圏であるということはない fact12: とある物は蹴上げるなら「それは唸らす」ということは正しい fact13: もし仮になにかは唸らさないとするとそれは対象項目でないが大気圏である fact14: 「あの検索サイトは対象項目だということはないし蹴上げるということはない」ということは偽であるとしたらあの外国企業は蹴上げる fact15: もしあの検索サイトが審訊しないとするとそのハード・ドラッグは蹴上げないし更にそれは対象項目でない ; $hypothesis$ = もしあの検索サイトが蹴上げないとするとそのハード・ドラッグは大気圏でないし審訊しない ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの検索サイトは唸らす」ということは正しい; fact8 & assump1 -> int1: あの検索サイトは蹴上げる; void -> assump2: 以下のように仮定する。あの検索サイトは蹴上げない; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの検索サイトは唸らさない; fact13 -> int4: あの検索サイトが唸らさないとすれば対象項目でない一方で大気圏である; int3 & int4 -> int5: あの検索サイトは対象項目でない一方で大気圏である; int5 -> int6: あの検索サイトは大気圏である; int6 & fact10 -> int7: そのハード・ドラッグは大気圏でなくてまたそれは審訊しない; [assump2] & int7 -> hypothesis; __PROVED__
事実1: もしなにがしかの物が唸らさないならば対象項目でない
事実2: あの検索サイトが大気圏だとするとそのハード・ドラッグは大気圏だということはないが審訊する
事実3: 仮に「あの検索サイトが御御よどだけどそれは御任せしない」ということは間違っているならそれは大気圏でない
事実4: そのハード・ドラッグは大気圏でないがしかし審訊する
事実5: そのハード・ドラッグが縁遠いとすると審訊する
事実6: もしあの検索サイトが唸らさないならば対象項目でない
事実7: もしもなにかは唸らすならそれは審訊する
事実8: 仮にあの検索サイトが唸らすとすればそれは蹴上げる
事実9: 仮にあの検索サイトが大気圏だとするとそのハード・ドラッグは大気圏でないし蹴上げない
事実10: あの検索サイトが大気圏であるとしたらそのハード・ドラッグは大気圏でないし更に審訊しない
事実11: あの検索サイトが大気圏であるならばそのハード・ドラッグは大気圏であるということはない
事実12: とある物は蹴上げるなら「それは唸らす」ということは正しい
事実13: もし仮になにかは唸らさないとするとそれは対象項目でないが大気圏である
事実14: 「あの検索サイトは対象項目だということはないし蹴上げるということはない」ということは偽であるとしたらあの外国企業は蹴上げる
事実15: もしあの検索サイトが審訊しないとするとそのハード・ドラッグは蹴上げないし更にそれは対象項目でない

仮説: もしあの検索サイトが蹴上げないとするとそのハード・ドラッグは大気圏でないし審訊しない
1. 仮定1: 以下のように仮定する。「あの検索サイトは唸らす」ということは正しい
2. 事実8と仮定1から、推論1: "あの検索サイトは蹴上げる"が導かれる
3. 仮定2: 以下のように仮定する。あの検索サイトは蹴上げない
4. 推論1と仮定2から、推論2: "これは矛盾である"が導かれる
5. [仮定1]と推論2から、推論3: "あの検索サイトは唸らさない"が導かれる
6. 事実13から、推論4: "あの検索サイトが唸らさないとすれば対象項目でない一方で大気圏である"が導かれる
7. 推論3と推論4から、推論5: "あの検索サイトは対象項目でない一方で大気圏である"が導かれる
8. 推論5から、推論6: "あの検索サイトは大気圏である"が導かれる
9. 推論6と事実10から、推論7: "そのハード・ドラッグは大気圏でなくてまたそれは審訊しない"が導かれる
10. [仮定2]と推論7から、仮説が導かれる

よって、仮説が証明されました。