あのシンポジウムは断片化しない
fact1: 「あの複合企業体は支柱である」ということは真実である fact2: その炭酸飲料が差し出がましいということはないけどサルボダヤであるとしたらそのＡＵＳは鞍替えしない fact3: もし仮に「その炭酸飲料は差し出がましい一方で支柱でない」ということは事実と異なるとしたらこの忠臣蔵は鞍替えしない fact4: このフィッツは心優しくない一方で差し出がましい fact5: 仮に何らかのものは支柱であるとしたら断片化する一方で差し出がましかない fact6: もしもそのＡＵＳが支柱であるならばあの漢字コードは十ルクス以下でない fact7: 「その炭酸飲料は支柱でかつ十ルクス以下である」ということは成り立つということはない fact8: そのＡＵＳは支柱でない fact9: もしこの忠臣蔵が十ルクス以下ならばそのＡＵＳは鞍替えするということはない fact10: もしそのＡＵＳが鞍替えしないとするとこの忠臣蔵は十ルクス以下でない fact11: もしもあの漢字コードが断片化するということはないがしかし十ルクス以下であるとしたらそのＡＵＳはサルボダヤだということはない fact12: もし仮にこの忠臣蔵は断片化しないならば「あのシンポジウムは鞍替えする」ということは成り立つ fact13: その炭酸飲料は断片化しない fact14: もしその炭酸飲料が断片化しないとするとあのシンポジウムは差し出がましかない fact15: もし仮にこの忠臣蔵は差し出がましいとすれば「その炭酸飲料は鞍替えしない」ということは成り立つ fact16: あの漢字コードは差し出がましかない fact17: その炭酸飲料は差し出がましいということはない fact18: あのスミス経済思想は現われ難くないが十ルクス以下である fact19: その炭酸飲料は鞍替えしない fact20: 仮にあの漢字コードが十ルクス以下でないとしたらそのＡＵＳは十ルクス以下でないけどサルボダヤだ fact21: 仮にこの忠臣蔵が鞍替えしないとするとあの漢字コードは十ルクス以下でない fact22: もしそのＡＵＳが十ルクス以下でないとすればあの漢字コードは十ルクス以下でないがサルボダヤである fact23: もしそのＡＵＳが十ルクス以下でないけどサルボダヤであるとしたらあのシンポジウムは断片化するということはない fact24: あの漢字コードは鞍替えするということはない fact25: もし仮に「その炭酸飲料は十ルクス以下でない」ということは間違いでないとすればあのＡＵＳは十ルクス以下でないがしかし差し出がましい
void -> assump1: 以下のように仮定する。その炭酸飲料は差し出がましいけど支柱でない; assump1 -> int1: 「その炭酸飲料は差し出がましい」ということは成り立つ; int1 & fact17 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「その炭酸飲料は差し出がましいけど支柱でない」ということは成り立たない; int3 & fact3 -> int4: この忠臣蔵は鞍替えしない; int4 & fact21 -> int5: 「あの漢字コードは十ルクス以下だということはない」ということは間違いでない; int5 & fact20 -> int6: そのＡＵＳは十ルクス以下でないがそれはサルボダヤである; int6 & fact23 -> hypothesis;
あのシンポジウムは断片化する
fact26 -> int7: 仮にあのシンポジウムが支柱だとすれば断片化するしそれは差し出がましかない;
$facts$ = fact1: 「あの複合企業体は支柱である」ということは真実である fact2: その炭酸飲料が差し出がましいということはないけどサルボダヤであるとしたらそのＡＵＳは鞍替えしない fact3: もし仮に「その炭酸飲料は差し出がましい一方で支柱でない」ということは事実と異なるとしたらこの忠臣蔵は鞍替えしない fact4: このフィッツは心優しくない一方で差し出がましい fact5: 仮に何らかのものは支柱であるとしたら断片化する一方で差し出がましかない fact6: もしもそのＡＵＳが支柱であるならばあの漢字コードは十ルクス以下でない fact7: 「その炭酸飲料は支柱でかつ十ルクス以下である」ということは成り立つということはない fact8: そのＡＵＳは支柱でない fact9: もしこの忠臣蔵が十ルクス以下ならばそのＡＵＳは鞍替えするということはない fact10: もしそのＡＵＳが鞍替えしないとするとこの忠臣蔵は十ルクス以下でない fact11: もしもあの漢字コードが断片化するということはないがしかし十ルクス以下であるとしたらそのＡＵＳはサルボダヤだということはない fact12: もし仮にこの忠臣蔵は断片化しないならば「あのシンポジウムは鞍替えする」ということは成り立つ fact13: その炭酸飲料は断片化しない fact14: もしその炭酸飲料が断片化しないとするとあのシンポジウムは差し出がましかない fact15: もし仮にこの忠臣蔵は差し出がましいとすれば「その炭酸飲料は鞍替えしない」ということは成り立つ fact16: あの漢字コードは差し出がましかない fact17: その炭酸飲料は差し出がましいということはない fact18: あのスミス経済思想は現われ難くないが十ルクス以下である fact19: その炭酸飲料は鞍替えしない fact20: 仮にあの漢字コードが十ルクス以下でないとしたらそのＡＵＳは十ルクス以下でないけどサルボダヤだ fact21: 仮にこの忠臣蔵が鞍替えしないとするとあの漢字コードは十ルクス以下でない fact22: もしそのＡＵＳが十ルクス以下でないとすればあの漢字コードは十ルクス以下でないがサルボダヤである fact23: もしそのＡＵＳが十ルクス以下でないけどサルボダヤであるとしたらあのシンポジウムは断片化するということはない fact24: あの漢字コードは鞍替えするということはない fact25: もし仮に「その炭酸飲料は十ルクス以下でない」ということは間違いでないとすればあのＡＵＳは十ルクス以下でないがしかし差し出がましい ; $hypothesis$ = あのシンポジウムは断片化しない ; $proof$ = 
void -> assump1: 以下のように仮定する。その炭酸飲料は差し出がましいけど支柱でない; assump1 -> int1: 「その炭酸飲料は差し出がましい」ということは成り立つ; int1 & fact17 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「その炭酸飲料は差し出がましいけど支柱でない」ということは成り立たない; int3 & fact3 -> int4: この忠臣蔵は鞍替えしない; int4 & fact21 -> int5: 「あの漢字コードは十ルクス以下だということはない」ということは間違いでない; int5 & fact20 -> int6: そのＡＵＳは十ルクス以下でないがそれはサルボダヤである; int6 & fact23 -> hypothesis; __PROVED__
事実1: 「あの複合企業体は支柱である」ということは真実である
事実2: その炭酸飲料が差し出がましいということはないけどサルボダヤであるとしたらそのＡＵＳは鞍替えしない
事実3: もし仮に「その炭酸飲料は差し出がましい一方で支柱でない」ということは事実と異なるとしたらこの忠臣蔵は鞍替えしない
事実4: このフィッツは心優しくない一方で差し出がましい
事実5: 仮に何らかのものは支柱であるとしたら断片化する一方で差し出がましかない
事実6: もしもそのＡＵＳが支柱であるならばあの漢字コードは十ルクス以下でない
事実7: 「その炭酸飲料は支柱でかつ十ルクス以下である」ということは成り立つということはない
事実8: そのＡＵＳは支柱でない
事実9: もしこの忠臣蔵が十ルクス以下ならばそのＡＵＳは鞍替えするということはない
事実10: もしそのＡＵＳが鞍替えしないとするとこの忠臣蔵は十ルクス以下でない
事実11: もしもあの漢字コードが断片化するということはないがしかし十ルクス以下であるとしたらそのＡＵＳはサルボダヤだということはない
事実12: もし仮にこの忠臣蔵は断片化しないならば「あのシンポジウムは鞍替えする」ということは成り立つ
事実13: その炭酸飲料は断片化しない
事実14: もしその炭酸飲料が断片化しないとするとあのシンポジウムは差し出がましかない
事実15: もし仮にこの忠臣蔵は差し出がましいとすれば「その炭酸飲料は鞍替えしない」ということは成り立つ
事実16: あの漢字コードは差し出がましかない
事実17: その炭酸飲料は差し出がましいということはない
事実18: あのスミス経済思想は現われ難くないが十ルクス以下である
事実19: その炭酸飲料は鞍替えしない
事実20: 仮にあの漢字コードが十ルクス以下でないとしたらそのＡＵＳは十ルクス以下でないけどサルボダヤだ
事実21: 仮にこの忠臣蔵が鞍替えしないとするとあの漢字コードは十ルクス以下でない
事実22: もしそのＡＵＳが十ルクス以下でないとすればあの漢字コードは十ルクス以下でないがサルボダヤである
事実23: もしそのＡＵＳが十ルクス以下でないけどサルボダヤであるとしたらあのシンポジウムは断片化するということはない
事実24: あの漢字コードは鞍替えするということはない
事実25: もし仮に「その炭酸飲料は十ルクス以下でない」ということは間違いでないとすればあのＡＵＳは十ルクス以下でないがしかし差し出がましい

仮説: あのシンポジウムは断片化しない
1. 仮定1: 以下のように仮定する。その炭酸飲料は差し出がましいけど支柱でない
2. 仮定1から、推論1: "「その炭酸飲料は差し出がましい」ということは成り立つ"が導かれる
3. 推論1と事実17から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「その炭酸飲料は差し出がましいけど支柱でない」ということは成り立たない"が導かれる
5. 推論3と事実3から、推論4: "この忠臣蔵は鞍替えしない"が導かれる
6. 推論4と事実21から、推論5: "「あの漢字コードは十ルクス以下だということはない」ということは間違いでない"が導かれる
7. 推論5と事実20から、推論6: "そのＡＵＳは十ルクス以下でないがそれはサルボダヤである"が導かれる
8. 推論6と事実23から、仮説が導かれる

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