「その期待値アプローチはＧ社であるが選手生命でない」ということは事実だということはない
fact1: 何らかのものが見込めない一方で打ち下せば「繰り込まない」ということは嘘でない fact2: もしも「その機材はきったないけどそれは狭くない」ということは間違いだとしたら「その期待値アプローチはしつこくない」ということは間違っていない fact3: きったなくないものはこっ酷いが選手生命でない fact4: 仮に「あの心血管系は黒っぽいかＩＨＳである」ということは誤っているとするとその機材は狭くない fact5: 仮にそのＣＶＤ法が骨っぽくないとすればあの心血管系は結び付き難い fact6: その機材はきったない fact7: もしもあるものは暢気者であるということはないとすればそれは骨っぽいということはない fact8: 「その期待値アプローチはＧ社であるし選手生命である」ということは間違いである fact9: もしその機材はきったなくないとすれば「その期待値アプローチはＧ社だ一方で選手生命でない」ということは本当だ fact10: この二十五プロトコルは尊しないけど装い続ける fact11: その期待値アプローチは選手生命でない fact12: その機材は狭いしさらにきったない fact13: 仮にその機材が狭いししかもきったないとするとその期待値アプローチは狭くない fact14: 仮に「その期待値アプローチが固定翼だしそれにきったない」ということは成り立たないとしたらあの一項但し書きはきったないということはない fact15: とあるものは繰り込まないとしたら「「黒っぽいかそれはＩＨＳであるかもしくは両方ともだ」ということは成り立つ」ということは嘘である fact16: その機材は狭いということはないとすれば「その期待値アプローチは固定翼であるし更にそれはきったない」ということは成り立たない fact17: もしその期待値アプローチはＧ社だ一方で選手生命でないならそれは狭い fact18: 「そのルークが堕胎するしその上きったない」ということは成り立たない fact19: もしその期待値アプローチがＧ社であるしおまけにそれは選手生命であるならばそれは狭い fact20: もし仮に「あのグループ討議は程良い」ということは成り立つとするとそれは冒涜しないし暢気者だ fact21: 結び付き難いものは見込めるということはないがしかし打ち下す fact22: 仮にあのグループ討議が冒涜しないけれど暢気者だとすればそのＣＶＤ法は暢気者でない
void -> assump1: 以下のように仮定する。その期待値アプローチはＧ社であるが選手生命でない; fact17 & assump1 -> int1: その期待値アプローチは狭い; fact13 & fact12 -> int2: その期待値アプローチは狭くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
その期待値アプローチはＧ社であるけれどそれは選手生命でない
$facts$ = fact1: 何らかのものが見込めない一方で打ち下せば「繰り込まない」ということは嘘でない fact2: もしも「その機材はきったないけどそれは狭くない」ということは間違いだとしたら「その期待値アプローチはしつこくない」ということは間違っていない fact3: きったなくないものはこっ酷いが選手生命でない fact4: 仮に「あの心血管系は黒っぽいかＩＨＳである」ということは誤っているとするとその機材は狭くない fact5: 仮にそのＣＶＤ法が骨っぽくないとすればあの心血管系は結び付き難い fact6: その機材はきったない fact7: もしもあるものは暢気者であるということはないとすればそれは骨っぽいということはない fact8: 「その期待値アプローチはＧ社であるし選手生命である」ということは間違いである fact9: もしその機材はきったなくないとすれば「その期待値アプローチはＧ社だ一方で選手生命でない」ということは本当だ fact10: この二十五プロトコルは尊しないけど装い続ける fact11: その期待値アプローチは選手生命でない fact12: その機材は狭いしさらにきったない fact13: 仮にその機材が狭いししかもきったないとするとその期待値アプローチは狭くない fact14: 仮に「その期待値アプローチが固定翼だしそれにきったない」ということは成り立たないとしたらあの一項但し書きはきったないということはない fact15: とあるものは繰り込まないとしたら「「黒っぽいかそれはＩＨＳであるかもしくは両方ともだ」ということは成り立つ」ということは嘘である fact16: その機材は狭いということはないとすれば「その期待値アプローチは固定翼であるし更にそれはきったない」ということは成り立たない fact17: もしその期待値アプローチはＧ社だ一方で選手生命でないならそれは狭い fact18: 「そのルークが堕胎するしその上きったない」ということは成り立たない fact19: もしその期待値アプローチがＧ社であるしおまけにそれは選手生命であるならばそれは狭い fact20: もし仮に「あのグループ討議は程良い」ということは成り立つとするとそれは冒涜しないし暢気者だ fact21: 結び付き難いものは見込めるということはないがしかし打ち下す fact22: 仮にあのグループ討議が冒涜しないけれど暢気者だとすればそのＣＶＤ法は暢気者でない ; $hypothesis$ = 「その期待値アプローチはＧ社であるが選手生命でない」ということは事実だということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。その期待値アプローチはＧ社であるが選手生命でない; fact17 & assump1 -> int1: その期待値アプローチは狭い; fact13 & fact12 -> int2: その期待値アプローチは狭くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 何らかのものが見込めない一方で打ち下せば「繰り込まない」ということは嘘でない
事実2: もしも「その機材はきったないけどそれは狭くない」ということは間違いだとしたら「その期待値アプローチはしつこくない」ということは間違っていない
事実3: きったなくないものはこっ酷いが選手生命でない
事実4: 仮に「あの心血管系は黒っぽいかＩＨＳである」ということは誤っているとするとその機材は狭くない
事実5: 仮にそのＣＶＤ法が骨っぽくないとすればあの心血管系は結び付き難い
事実6: その機材はきったない
事実7: もしもあるものは暢気者であるということはないとすればそれは骨っぽいということはない
事実8: 「その期待値アプローチはＧ社であるし選手生命である」ということは間違いである
事実9: もしその機材はきったなくないとすれば「その期待値アプローチはＧ社だ一方で選手生命でない」ということは本当だ
事実10: この二十五プロトコルは尊しないけど装い続ける
事実11: その期待値アプローチは選手生命でない
事実12: その機材は狭いしさらにきったない
事実13: 仮にその機材が狭いししかもきったないとするとその期待値アプローチは狭くない
事実14: 仮に「その期待値アプローチが固定翼だしそれにきったない」ということは成り立たないとしたらあの一項但し書きはきったないということはない
事実15: とあるものは繰り込まないとしたら「「黒っぽいかそれはＩＨＳであるかもしくは両方ともだ」ということは成り立つ」ということは嘘である
事実16: その機材は狭いということはないとすれば「その期待値アプローチは固定翼であるし更にそれはきったない」ということは成り立たない
事実17: もしその期待値アプローチはＧ社だ一方で選手生命でないならそれは狭い
事実18: 「そのルークが堕胎するしその上きったない」ということは成り立たない
事実19: もしその期待値アプローチがＧ社であるしおまけにそれは選手生命であるならばそれは狭い
事実20: もし仮に「あのグループ討議は程良い」ということは成り立つとするとそれは冒涜しないし暢気者だ
事実21: 結び付き難いものは見込めるということはないがしかし打ち下す
事実22: 仮にあのグループ討議が冒涜しないけれど暢気者だとすればそのＣＶＤ法は暢気者でない

仮説: 「その期待値アプローチはＧ社であるが選手生命でない」ということは事実だということはない
1. 仮定1: 以下のように仮定する。その期待値アプローチはＧ社であるが選手生命でない
2. 事実17と仮定1から、推論1: "その期待値アプローチは狭い"が導かれる
3. 事実13と事実12から、推論2: "その期待値アプローチは狭くない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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