もしこのＢ級ビルタ用地が住み着かないとするとその論文発表は源泉徴収するし更に欧文フォントだ
fact1: 仮にその論文発表が時化でないならばあのシステムＳは欧文フォントだ fact2: あのシステムＳは源泉徴収するしそれは告知である fact3: もし仮にその論文発表が源泉徴収しないとしたらあのシステムＳは欧文フォントだ fact4: その論文発表は割り解さない fact5: もし「何らかの物は砂虫であるけど割り解さない」ということは成り立たないならば欧文フォントである fact6: もしもその論文発表が砂虫だけれど割り解さないとすればこのＢ級ビルタ用地は住み着く fact7: 「もし「あのシステムＳは勿体振るがそれは当座でない」ということは嘘ならばあのシステムＳは動揺し易い」ということは本当だ fact8: あのシステムＳが時化でないならその論文発表は正ししさらに源泉徴収する fact9: もし仮にその論文発表は正しとすると「このエンディングが住み着かないし源泉徴収しない」ということは嘘である fact10: 仮にその論文発表が正しとするとそれはロゼ・ダルジャンである fact11: その論文発表が砂虫であるし割り解せばこのＢ級ビルタ用地は住み着く fact12: そのプチブレードは投資額だが時化でない fact13: もしその論文発表が割り解せばそれは欧文フォントだ fact14: 「その論文発表は時化であるけど源泉徴収しない」ということは嘘だ fact15: このＢ級ビルタ用地は性分らしいしさらに泳ぎ着く fact16: あのシステムＳは時化だということはない fact17: その徒党は時化だしおまけに香しい
void -> assump1: 以下のように仮定する。その論文発表は砂虫であるけれど割り解さない; fact6 & assump1 -> int1: このＢ級ビルタ用地は住み着く; void -> assump2: 以下のように仮定する。このＢ級ビルタ用地は住み着くということはない; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「その論文発表は砂虫だがしかし割り解すということはない」ということは嘘だ; fact5 -> int4: 「その論文発表は砂虫だがしかしそれは割り解さない」ということは誤っているとすると欧文フォントである; int3 & int4 -> int5: その論文発表は欧文フォントだ; fact8 & fact16 -> int6: その論文発表は正ししそれに源泉徴収する; int6 -> int7: 「その論文発表は源泉徴収する」ということは事実である; int5 & int7 -> int8: その論文発表は源泉徴収するしまた欧文フォントである; [assump2] & int8 -> hypothesis;
「このエンディングは欧文フォントでない」ということは成り立つ
$facts$ = fact1: 仮にその論文発表が時化でないならばあのシステムＳは欧文フォントだ fact2: あのシステムＳは源泉徴収するしそれは告知である fact3: もし仮にその論文発表が源泉徴収しないとしたらあのシステムＳは欧文フォントだ fact4: その論文発表は割り解さない fact5: もし「何らかの物は砂虫であるけど割り解さない」ということは成り立たないならば欧文フォントである fact6: もしもその論文発表が砂虫だけれど割り解さないとすればこのＢ級ビルタ用地は住み着く fact7: 「もし「あのシステムＳは勿体振るがそれは当座でない」ということは嘘ならばあのシステムＳは動揺し易い」ということは本当だ fact8: あのシステムＳが時化でないならその論文発表は正ししさらに源泉徴収する fact9: もし仮にその論文発表は正しとすると「このエンディングが住み着かないし源泉徴収しない」ということは嘘である fact10: 仮にその論文発表が正しとするとそれはロゼ・ダルジャンである fact11: その論文発表が砂虫であるし割り解せばこのＢ級ビルタ用地は住み着く fact12: そのプチブレードは投資額だが時化でない fact13: もしその論文発表が割り解せばそれは欧文フォントだ fact14: 「その論文発表は時化であるけど源泉徴収しない」ということは嘘だ fact15: このＢ級ビルタ用地は性分らしいしさらに泳ぎ着く fact16: あのシステムＳは時化だということはない fact17: その徒党は時化だしおまけに香しい ; $hypothesis$ = もしこのＢ級ビルタ用地が住み着かないとするとその論文発表は源泉徴収するし更に欧文フォントだ ; $proof$ = 
void -> assump1: 以下のように仮定する。その論文発表は砂虫であるけれど割り解さない; fact6 & assump1 -> int1: このＢ級ビルタ用地は住み着く; void -> assump2: 以下のように仮定する。このＢ級ビルタ用地は住み着くということはない; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「その論文発表は砂虫だがしかし割り解すということはない」ということは嘘だ; fact5 -> int4: 「その論文発表は砂虫だがしかしそれは割り解さない」ということは誤っているとすると欧文フォントである; int3 & int4 -> int5: その論文発表は欧文フォントだ; fact8 & fact16 -> int6: その論文発表は正ししそれに源泉徴収する; int6 -> int7: 「その論文発表は源泉徴収する」ということは事実である; int5 & int7 -> int8: その論文発表は源泉徴収するしまた欧文フォントである; [assump2] & int8 -> hypothesis; __PROVED__
事実1: 仮にその論文発表が時化でないならばあのシステムＳは欧文フォントだ
事実2: あのシステムＳは源泉徴収するしそれは告知である
事実3: もし仮にその論文発表が源泉徴収しないとしたらあのシステムＳは欧文フォントだ
事実4: その論文発表は割り解さない
事実5: もし「何らかの物は砂虫であるけど割り解さない」ということは成り立たないならば欧文フォントである
事実6: もしもその論文発表が砂虫だけれど割り解さないとすればこのＢ級ビルタ用地は住み着く
事実7: 「もし「あのシステムＳは勿体振るがそれは当座でない」ということは嘘ならばあのシステムＳは動揺し易い」ということは本当だ
事実8: あのシステムＳが時化でないならその論文発表は正ししさらに源泉徴収する
事実9: もし仮にその論文発表は正しとすると「このエンディングが住み着かないし源泉徴収しない」ということは嘘である
事実10: 仮にその論文発表が正しとするとそれはロゼ・ダルジャンである
事実11: その論文発表が砂虫であるし割り解せばこのＢ級ビルタ用地は住み着く
事実12: そのプチブレードは投資額だが時化でない
事実13: もしその論文発表が割り解せばそれは欧文フォントだ
事実14: 「その論文発表は時化であるけど源泉徴収しない」ということは嘘だ
事実15: このＢ級ビルタ用地は性分らしいしさらに泳ぎ着く
事実16: あのシステムＳは時化だということはない
事実17: その徒党は時化だしおまけに香しい

仮説: もしこのＢ級ビルタ用地が住み着かないとするとその論文発表は源泉徴収するし更に欧文フォントだ
1. 仮定1: 以下のように仮定する。その論文発表は砂虫であるけれど割り解さない
2. 事実6と仮定1から、推論1: "このＢ級ビルタ用地は住み着く"が導かれる
3. 仮定2: 以下のように仮定する。このＢ級ビルタ用地は住み着くということはない
4. 推論1と仮定2から、推論2: "これは矛盾である"が導かれる
5. [仮定1]と推論2から、推論3: "「その論文発表は砂虫だがしかし割り解すということはない」ということは嘘だ"が導かれる
6. 事実5から、推論4: "「その論文発表は砂虫だがしかしそれは割り解さない」ということは誤っているとすると欧文フォントである"が導かれる
7. 推論3と推論4から、推論5: "その論文発表は欧文フォントだ"が導かれる
8. 事実8と事実16から、推論6: "その論文発表は正ししそれに源泉徴収する"が導かれる
9. 推論6から、推論7: "「その論文発表は源泉徴収する」ということは事実である"が導かれる
10. 推論5と推論7から、推論8: "その論文発表は源泉徴収するしまた欧文フォントである"が導かれる
11. [仮定2]と推論8から、仮説が導かれる

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