その共晶組織は炉心でない
fact1: 仮にあの訂正が合わせ辛いとすればあの共晶組織は照れ臭い fact2: もしもあの五県は大仏殿であるならば「辛抱強いけど赤しない」ということは真実でない fact3: あの五県は大仏殿である fact4: もし仮に「あの五県は辛抱強いがしかしそれは赤しない」ということは成り立つということはないとするとあの訂正は合わせ辛い fact5: もし仮になにがしかの物は大仏殿でないならばそれは照れ臭い fact6: その打法は在日米軍基地でない fact7: 「「その打法はＰＡＯで加えてバイキング・サービスである」ということは成り立たない」ということは確かである fact8: もし「照れ臭くて加えて炉心な」物があるとしたらその打法は在日米軍基地だ fact9: もしその共晶組織が合わせ辛くないかもしくは在日米軍基地であるかどちらもであるとしたらあの訂正は合わせ辛くない fact10: もし「何かは炉心で大仏殿である」ということは嘘であるならばそれは大仏殿でない fact11: もしもその打法はＰＡＯでないならそれは偽陽性だしかつ勝ち過ぎる fact12: もし「その打法はＰＡＯでそれはバイキング・サービスである」ということは間違いであるならそれはＰＡＯでない
fact2 & fact3 -> int1: 「あの五県は辛抱強いがしかし赤しない」ということは誤っている; int1 & fact4 -> int2: あの訂正は合わせ辛い; int2 & fact1 -> int3: その共晶組織は照れ臭い; void -> assump1: 以下のように仮定する。その共晶組織は炉心だ; int3 & assump1 -> int4: その共晶組織は照れ臭いし更に炉心である; int4 -> int5: 「照れ臭くて炉心である」ものはある; int5 & fact8 -> int6: その打法は在日米軍基地だ; int6 & fact6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
あの五県は照れ臭い
fact17 -> int8: あの五県は大仏殿でないとすると照れ臭い; fact15 -> int9: 「仮に「あの五県は炉心だししかも大仏殿である」ということは嘘だとすればあの五県は大仏殿でない」ということは成り立つ; fact14 & fact18 -> int10: その打法はＰＡＯでない; fact16 & int10 -> int11: その打法は偽陽性であるししかも勝ち過ぎる; int11 -> int12: その打法は偽陽性である; int12 -> int13: 「「偽陽性である」ということは成り立つ」物はある;
$facts$ = fact1: 仮にあの訂正が合わせ辛いとすればあの共晶組織は照れ臭い fact2: もしもあの五県は大仏殿であるならば「辛抱強いけど赤しない」ということは真実でない fact3: あの五県は大仏殿である fact4: もし仮に「あの五県は辛抱強いがしかしそれは赤しない」ということは成り立つということはないとするとあの訂正は合わせ辛い fact5: もし仮になにがしかの物は大仏殿でないならばそれは照れ臭い fact6: その打法は在日米軍基地でない fact7: 「「その打法はＰＡＯで加えてバイキング・サービスである」ということは成り立たない」ということは確かである fact8: もし「照れ臭くて加えて炉心な」物があるとしたらその打法は在日米軍基地だ fact9: もしその共晶組織が合わせ辛くないかもしくは在日米軍基地であるかどちらもであるとしたらあの訂正は合わせ辛くない fact10: もし「何かは炉心で大仏殿である」ということは嘘であるならばそれは大仏殿でない fact11: もしもその打法はＰＡＯでないならそれは偽陽性だしかつ勝ち過ぎる fact12: もし「その打法はＰＡＯでそれはバイキング・サービスである」ということは間違いであるならそれはＰＡＯでない ; $hypothesis$ = その共晶組織は炉心でない ; $proof$ = 
fact2 & fact3 -> int1: 「あの五県は辛抱強いがしかし赤しない」ということは誤っている; int1 & fact4 -> int2: あの訂正は合わせ辛い; int2 & fact1 -> int3: その共晶組織は照れ臭い; void -> assump1: 以下のように仮定する。その共晶組織は炉心だ; int3 & assump1 -> int4: その共晶組織は照れ臭いし更に炉心である; int4 -> int5: 「照れ臭くて炉心である」ものはある; int5 & fact8 -> int6: その打法は在日米軍基地だ; int6 & fact6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis; __PROVED__
事実1: 仮にあの訂正が合わせ辛いとすればあの共晶組織は照れ臭い
事実2: もしもあの五県は大仏殿であるならば「辛抱強いけど赤しない」ということは真実でない
事実3: あの五県は大仏殿である
事実4: もし仮に「あの五県は辛抱強いがしかしそれは赤しない」ということは成り立つということはないとするとあの訂正は合わせ辛い
事実5: もし仮になにがしかの物は大仏殿でないならばそれは照れ臭い
事実6: その打法は在日米軍基地でない
事実7: 「「その打法はＰＡＯで加えてバイキング・サービスである」ということは成り立たない」ということは確かである
事実8: もし「照れ臭くて加えて炉心な」物があるとしたらその打法は在日米軍基地だ
事実9: もしその共晶組織が合わせ辛くないかもしくは在日米軍基地であるかどちらもであるとしたらあの訂正は合わせ辛くない
事実10: もし「何かは炉心で大仏殿である」ということは嘘であるならばそれは大仏殿でない
事実11: もしもその打法はＰＡＯでないならそれは偽陽性だしかつ勝ち過ぎる
事実12: もし「その打法はＰＡＯでそれはバイキング・サービスである」ということは間違いであるならそれはＰＡＯでない

仮説: その共晶組織は炉心でない
1. 事実2と事実3から、推論1: "「あの五県は辛抱強いがしかし赤しない」ということは誤っている"が導かれる
2. 推論1と事実4から、推論2: "あの訂正は合わせ辛い"が導かれる
3. 推論2と事実1から、推論3: "その共晶組織は照れ臭い"が導かれる
4. 仮定1: 以下のように仮定する。その共晶組織は炉心だ
5. 推論3と仮定1から、推論4: "その共晶組織は照れ臭いし更に炉心である"が導かれる
6. 推論4から、推論5: "「照れ臭くて炉心である」ものはある"が導かれる
7. 推論5と事実8から、推論6: "その打法は在日米軍基地だ"が導かれる
8. 推論6と事実6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

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