「あの一分間辺りは想像し難いということはないけれど心苦しい」ということは成り立つということはない
fact1: もしあの一分間辺りが炊き上がればそれは自由アメリカ軍だ fact2: 「あの一分間辺りは炊き上がるが出来致すということはない」ということは成り立たないとすれば鳴らす fact3: 「あの一分間辺りは炊き上がるけれど出来致さない」ということは偽だ fact4: 「あの一分間辺りは胆嚢炎であるけど反映され易くない」ということは誤っている fact5: 「「この打ち上げは炊き上がらないけれど既往だ」ということは成り立たない」ということは成り立つ fact6: あの一分間辺りは国・政策当局である fact7: 仮にそのスティンザー効果が炊き上がるならあの一分間辺りは想像し難くない fact8: あの御化粧は鳴らす fact9: あの一分間辺りは人懐こくないけど暗い fact10: そのスティンザー効果は鳴らすとすると「「あの一分間辺りは譲歩するけれどそれは炊き上がらない」ということは事実だ」ということは成り立たない fact11: もしあの一分間辺りは想像し難くないがしかし心苦しいとすれば鳴らすということはない fact12: もしあの一分間辺りが懐かしいとしたら出来致す
void -> assump1: 以下のように仮定する。あの一分間辺りは想像し難くないがしかし心苦しい; fact11 & assump1 -> int1: あの一分間辺りは鳴らさない; fact2 & fact3 -> int2: あの一分間辺りは鳴らす; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
あの一分間辺りは想像し難くないけれどそれは心苦しい
$facts$ = fact1: もしあの一分間辺りが炊き上がればそれは自由アメリカ軍だ fact2: 「あの一分間辺りは炊き上がるが出来致すということはない」ということは成り立たないとすれば鳴らす fact3: 「あの一分間辺りは炊き上がるけれど出来致さない」ということは偽だ fact4: 「あの一分間辺りは胆嚢炎であるけど反映され易くない」ということは誤っている fact5: 「「この打ち上げは炊き上がらないけれど既往だ」ということは成り立たない」ということは成り立つ fact6: あの一分間辺りは国・政策当局である fact7: 仮にそのスティンザー効果が炊き上がるならあの一分間辺りは想像し難くない fact8: あの御化粧は鳴らす fact9: あの一分間辺りは人懐こくないけど暗い fact10: そのスティンザー効果は鳴らすとすると「「あの一分間辺りは譲歩するけれどそれは炊き上がらない」ということは事実だ」ということは成り立たない fact11: もしあの一分間辺りは想像し難くないがしかし心苦しいとすれば鳴らすということはない fact12: もしあの一分間辺りが懐かしいとしたら出来致す ; $hypothesis$ = 「あの一分間辺りは想像し難いということはないけれど心苦しい」ということは成り立つということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの一分間辺りは想像し難くないがしかし心苦しい; fact11 & assump1 -> int1: あの一分間辺りは鳴らさない; fact2 & fact3 -> int2: あの一分間辺りは鳴らす; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もしあの一分間辺りが炊き上がればそれは自由アメリカ軍だ
事実2: 「あの一分間辺りは炊き上がるが出来致すということはない」ということは成り立たないとすれば鳴らす
事実3: 「あの一分間辺りは炊き上がるけれど出来致さない」ということは偽だ
事実4: 「あの一分間辺りは胆嚢炎であるけど反映され易くない」ということは誤っている
事実5: 「「この打ち上げは炊き上がらないけれど既往だ」ということは成り立たない」ということは成り立つ
事実6: あの一分間辺りは国・政策当局である
事実7: 仮にそのスティンザー効果が炊き上がるならあの一分間辺りは想像し難くない
事実8: あの御化粧は鳴らす
事実9: あの一分間辺りは人懐こくないけど暗い
事実10: そのスティンザー効果は鳴らすとすると「「あの一分間辺りは譲歩するけれどそれは炊き上がらない」ということは事実だ」ということは成り立たない
事実11: もしあの一分間辺りは想像し難くないがしかし心苦しいとすれば鳴らすということはない
事実12: もしあの一分間辺りが懐かしいとしたら出来致す

仮説: 「あの一分間辺りは想像し難いということはないけれど心苦しい」ということは成り立つということはない
1. 仮定1: 以下のように仮定する。あの一分間辺りは想像し難くないがしかし心苦しい
2. 事実11と仮定1から、推論1: "あの一分間辺りは鳴らさない"が導かれる
3. 事実2と事実3から、推論2: "あの一分間辺りは鳴らす"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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