もしも「あの十第四項は帰京する」ということは事実であるとするとこの出口調査は引っ張り出すということはなくておまけに確からしいということはない
fact1: 仮にあの十第四項が帰京するとするとこの出口調査は確からしくないしそれに馬鹿でかくない fact2: もしこの出口調査が帰京するとするとそのジュレは確からしい fact3: この出口調査は確からしくないしそれにそれは馬鹿でかくない fact4: 「この出口調査は確からしくない」ということは確かだ fact5: 仮にあのホームページ作成ソフトが馬鹿でかいならばそのジュレは確からしい fact6: もしそのジュレが確からしいとしたらこの出口調査は引っ張り出すということはないしそれは確からしくない fact7: 仮になにかは帰京するとすると「それは罹病しなくて加えてそれは遠しない」ということは本当だ fact8: あの十第四項は馬鹿でかくないけれど帰京する fact9: もし「そのジュレは涙脆くない」ということは真実であるとすれば引っ張り出すし優しい fact10: もし仮にそのジュレが確からしいならこの出口調査は確からしいということはない fact11: もしこの出口調査が馬鹿でかいとすればあのホームページ作成ソフトは引っ張り出す fact12: もし「あの十第四項は帰京する」ということは事実であるとするとあのホームページ作成ソフトは馬鹿でかい fact13: 「もしもこの出口調査が帰京すればあの十第四項は確からしくない」ということは確かだ fact14: もしあの十第四項が帰京するとしたらそのジュレは帰京しない fact15: もし仮にあの十第四項が帰京するとすればあの出口調査は確からしくない fact16: もしあの十第四項が馬鹿でかいとすればあのホームページ作成ソフトは帰京する
void -> assump1: 以下のように仮定する。あの十第四項は帰京する; fact12 & assump1 -> int1: あのホームページ作成ソフトは馬鹿でかい; int1 & fact5 -> int2: そのジュレは確からしい; int2 & fact6 -> int3: この出口調査は引っ張り出さないしまた確からしくない; [assump1] & int3 -> hypothesis;
あのホームページ作成ソフトは罹病するということはないししかも遠しない
fact18 -> int4: もし仮にあのホームページ作成ソフトが帰京すればそれは罹病しなくて遠しない;
$facts$ = fact1: 仮にあの十第四項が帰京するとするとこの出口調査は確からしくないしそれに馬鹿でかくない fact2: もしこの出口調査が帰京するとするとそのジュレは確からしい fact3: この出口調査は確からしくないしそれにそれは馬鹿でかくない fact4: 「この出口調査は確からしくない」ということは確かだ fact5: 仮にあのホームページ作成ソフトが馬鹿でかいならばそのジュレは確からしい fact6: もしそのジュレが確からしいとしたらこの出口調査は引っ張り出すということはないしそれは確からしくない fact7: 仮になにかは帰京するとすると「それは罹病しなくて加えてそれは遠しない」ということは本当だ fact8: あの十第四項は馬鹿でかくないけれど帰京する fact9: もし「そのジュレは涙脆くない」ということは真実であるとすれば引っ張り出すし優しい fact10: もし仮にそのジュレが確からしいならこの出口調査は確からしいということはない fact11: もしこの出口調査が馬鹿でかいとすればあのホームページ作成ソフトは引っ張り出す fact12: もし「あの十第四項は帰京する」ということは事実であるとするとあのホームページ作成ソフトは馬鹿でかい fact13: 「もしもこの出口調査が帰京すればあの十第四項は確からしくない」ということは確かだ fact14: もしあの十第四項が帰京するとしたらそのジュレは帰京しない fact15: もし仮にあの十第四項が帰京するとすればあの出口調査は確からしくない fact16: もしあの十第四項が馬鹿でかいとすればあのホームページ作成ソフトは帰京する ; $hypothesis$ = もしも「あの十第四項は帰京する」ということは事実であるとするとこの出口調査は引っ張り出すということはなくておまけに確からしいということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの十第四項は帰京する; fact12 & assump1 -> int1: あのホームページ作成ソフトは馬鹿でかい; int1 & fact5 -> int2: そのジュレは確からしい; int2 & fact6 -> int3: この出口調査は引っ張り出さないしまた確からしくない; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 仮にあの十第四項が帰京するとするとこの出口調査は確からしくないしそれに馬鹿でかくない
事実2: もしこの出口調査が帰京するとするとそのジュレは確からしい
事実3: この出口調査は確からしくないしそれにそれは馬鹿でかくない
事実4: 「この出口調査は確からしくない」ということは確かだ
事実5: 仮にあのホームページ作成ソフトが馬鹿でかいならばそのジュレは確からしい
事実6: もしそのジュレが確からしいとしたらこの出口調査は引っ張り出すということはないしそれは確からしくない
事実7: 仮になにかは帰京するとすると「それは罹病しなくて加えてそれは遠しない」ということは本当だ
事実8: あの十第四項は馬鹿でかくないけれど帰京する
事実9: もし「そのジュレは涙脆くない」ということは真実であるとすれば引っ張り出すし優しい
事実10: もし仮にそのジュレが確からしいならこの出口調査は確からしいということはない
事実11: もしこの出口調査が馬鹿でかいとすればあのホームページ作成ソフトは引っ張り出す
事実12: もし「あの十第四項は帰京する」ということは事実であるとするとあのホームページ作成ソフトは馬鹿でかい
事実13: 「もしもこの出口調査が帰京すればあの十第四項は確からしくない」ということは確かだ
事実14: もしあの十第四項が帰京するとしたらそのジュレは帰京しない
事実15: もし仮にあの十第四項が帰京するとすればあの出口調査は確からしくない
事実16: もしあの十第四項が馬鹿でかいとすればあのホームページ作成ソフトは帰京する

仮説: もしも「あの十第四項は帰京する」ということは事実であるとするとこの出口調査は引っ張り出すということはなくておまけに確からしいということはない
1. 仮定1: 以下のように仮定する。あの十第四項は帰京する
2. 事実12と仮定1から、推論1: "あのホームページ作成ソフトは馬鹿でかい"が導かれる
3. 推論1と事実5から、推論2: "そのジュレは確からしい"が導かれる
4. 推論2と事実6から、推論3: "この出口調査は引っ張り出さないしまた確からしくない"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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