その元老院議員が三囲神社ならこの浜っ子は集中部でない
fact1: もしもなんらかのものは集中部でないならば「それは堪え難くて三囲神社だということはない」ということは成り立たない fact2: もし仮に「なにかは堪え難いけど三囲神社でない」ということは成り立たないとしたら「それは堪え難くない」ということは誤りでない fact3: 仮にその元老院議員が集中部ならこの浜っ子は堪え難くない fact4: もしも「この浜っ子は堪え難くないけど愛読する」ということは間違っているとするとその元老院議員は三囲神社でない fact5: この浜っ子が集中部だけどトーストパンでないとすればあの膠着状態は集中部でない fact6: 仮にその元老院議員が集中部であるならこの浜っ子は三囲神社でない fact7: ふてぶてしくないものは集中部であるけれどトーストパンでない fact8: 仮に「この浜っ子は集中部である」ということは本当なら「堪え難くないしまたそれは愛読する」ということは偽である fact9: 仮に何らかのものがホワイトハウス入りしないとするとふてぶてしくない fact10: 「その元老院議員は受忍しない一方でそれはホワイトハウス入りする」ということは間違っている
void -> assump1: 以下のように仮定する。この浜っ子は集中部である; fact8 & assump1 -> int1: 「この浜っ子は堪え難くないが愛読する」ということは間違いである; int1 & fact4 -> int2: その元老院議員は三囲神社でない; void -> assump2: 以下のように仮定する。その元老院議員は三囲神社だ; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この浜っ子は集中部でない; [assump2] & int4 -> hypothesis;
その膠着状態は堪え難くない
fact15 -> int5: もし「その膠着状態は堪え難いけど三囲神社でない」ということは成り立たないならそれは堪え難くない; fact14 -> int6: もしもその膠着状態は集中部であるということはないならば「それは堪え難いしおまけにそれは三囲神社であるということはない」ということは確かでない; fact12 -> int7: 仮にこの浜っ子がふてぶてしくないならばそれは集中部でおまけにそれはトーストパンでない; fact16 -> int8: もし仮にこの浜っ子がホワイトハウス入りしないならばそれはふてぶてしいということはない; fact13 -> int9: 「「受忍しなくてホワイトハウス入りする」ということは成り立たない」ものはある;
$facts$ = fact1: もしもなんらかのものは集中部でないならば「それは堪え難くて三囲神社だということはない」ということは成り立たない fact2: もし仮に「なにかは堪え難いけど三囲神社でない」ということは成り立たないとしたら「それは堪え難くない」ということは誤りでない fact3: 仮にその元老院議員が集中部ならこの浜っ子は堪え難くない fact4: もしも「この浜っ子は堪え難くないけど愛読する」ということは間違っているとするとその元老院議員は三囲神社でない fact5: この浜っ子が集中部だけどトーストパンでないとすればあの膠着状態は集中部でない fact6: 仮にその元老院議員が集中部であるならこの浜っ子は三囲神社でない fact7: ふてぶてしくないものは集中部であるけれどトーストパンでない fact8: 仮に「この浜っ子は集中部である」ということは本当なら「堪え難くないしまたそれは愛読する」ということは偽である fact9: 仮に何らかのものがホワイトハウス入りしないとするとふてぶてしくない fact10: 「その元老院議員は受忍しない一方でそれはホワイトハウス入りする」ということは間違っている ; $hypothesis$ = その元老院議員が三囲神社ならこの浜っ子は集中部でない ; $proof$ = 
void -> assump1: 以下のように仮定する。この浜っ子は集中部である; fact8 & assump1 -> int1: 「この浜っ子は堪え難くないが愛読する」ということは間違いである; int1 & fact4 -> int2: その元老院議員は三囲神社でない; void -> assump2: 以下のように仮定する。その元老院議員は三囲神社だ; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この浜っ子は集中部でない; [assump2] & int4 -> hypothesis; __PROVED__
事実1: もしもなんらかのものは集中部でないならば「それは堪え難くて三囲神社だということはない」ということは成り立たない
事実2: もし仮に「なにかは堪え難いけど三囲神社でない」ということは成り立たないとしたら「それは堪え難くない」ということは誤りでない
事実3: 仮にその元老院議員が集中部ならこの浜っ子は堪え難くない
事実4: もしも「この浜っ子は堪え難くないけど愛読する」ということは間違っているとするとその元老院議員は三囲神社でない
事実5: この浜っ子が集中部だけどトーストパンでないとすればあの膠着状態は集中部でない
事実6: 仮にその元老院議員が集中部であるならこの浜っ子は三囲神社でない
事実7: ふてぶてしくないものは集中部であるけれどトーストパンでない
事実8: 仮に「この浜っ子は集中部である」ということは本当なら「堪え難くないしまたそれは愛読する」ということは偽である
事実9: 仮に何らかのものがホワイトハウス入りしないとするとふてぶてしくない
事実10: 「その元老院議員は受忍しない一方でそれはホワイトハウス入りする」ということは間違っている

仮説: その元老院議員が三囲神社ならこの浜っ子は集中部でない
1. 仮定1: 以下のように仮定する。この浜っ子は集中部である
2. 事実8と仮定1から、推論1: "「この浜っ子は堪え難くないが愛読する」ということは間違いである"が導かれる
3. 推論1と事実4から、推論2: "その元老院議員は三囲神社でない"が導かれる
4. 仮定2: 以下のように仮定する。その元老院議員は三囲神社だ
5. 推論2と仮定2から、推論3: "これは矛盾である"が導かれる
6. [仮定1]と推論3から、推論4: "この浜っ子は集中部でない"が導かれる
7. [仮定2]と推論4から、仮説が導かれる

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