仮にこの大物達が転び出るとするとその金融商品会計は粘土板である
fact1: もし「その金融商品会計は振り当てる」ということは成り立つならこの大物達は転び出ない fact2: もし仮になにがしかの物が参学するとすればそれは粘土板だ fact3: もし仮にその金融商品会計は祈らないならば「御結婚為さるし加えて振り当てない」ということは成り立たない fact4: その工作員は転び出る fact5: もし仮にある物はサラリーマン氏であるということはないとしたら「それは参学する」ということは確かだ fact6: 仮に何かはサラリーマン氏であるかあるいは転び出るかあるいは両方ともだとしたら「この大物達は祈らない」ということは成り立つ fact7: この大物達は振り当てない fact8: もしもなにかは祈るとするとそれはサラリーマン氏でない fact9: その金融商品会計はださい fact10: もし仮に「「その金融商品会計は御結婚為さる一方で振り当てない」ということは成り立たない」ということは事実であるならばあの大物達は転び出る fact11: この唾液中は浜辺だ fact12: 粘土板は振り当てるということはない fact13: もしこの唾液中が空気感染だとするとこのツイスト親分は粘土板だがうら若いということはない fact14: 「その金融商品会計は御結婚為さるしそれに振り当てる」ということは嘘だ fact15: もしなにかは反回するということはないとすると歩み出す fact16: もし仮にその金融商品会計は祈らないとしたら「「それは御結婚為さるしまたそれは振り当てる」ということは真実だ」ということは嘘である fact17: 浜辺は空気感染である fact18: もし「この大物達は粘土板だがしかしサラリーマン氏でない」ということは本当でないとすればその金融商品会計は転び出ない fact19: 仮にこのツイスト親分が転び出るかもしくは参学しないか両方ともならその金融商品会計は転び出る fact20: もし粘土板はうら若くないとすると参学するということはない fact21: もし仮に「その金融商品会計は御結婚為さるけど振り当てない」ということは成り立たないとしたら「この大物達は転び出ない」ということは確かである
void -> assump1: 以下のように仮定する。その金融商品会計は祈らない; fact3 & assump1 -> int1: 「その金融商品会計は御結婚為さる一方で振り当てない」ということは嘘である; int1 & fact21 -> int2: この大物達は転び出ない; void -> assump2: 以下のように仮定する。この大物達は転び出る; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その金融商品会計は祈る; fact8 -> int5: もしもその金融商品会計が祈るならそれはサラリーマン氏でない; int4 & int5 -> int6: その金融商品会計はサラリーマン氏でない; fact5 -> int7: もし「その金融商品会計はサラリーマン氏でない」ということは誤っていないとすると参学する; int6 & int7 -> int8: その金融商品会計は参学する; fact2 -> int9: 仮にその金融商品会計が参学するとすると粘土板だ; int8 & int9 -> int10: その金融商品会計は粘土板である; [assump2] & int10 -> hypothesis;
この大物達は御結婚為さらない
fact23 -> int11: もし仮にこのツイスト親分は粘土板だがそれはうら若くないならば「それは参学しない」ということは成り立つ; fact25 -> int12: この唾液中が浜辺なら空気感染である; int12 & fact27 -> int13: この唾液中は空気感染だ; fact24 & int13 -> int14: このツイスト親分は粘土板だがそれはうら若いということはない; int11 & int14 -> int15: このツイスト親分は参学しない; int15 -> int16: このツイスト親分は転び出るかまたは参学しないかもしくは両方だ; fact26 & int16 -> int17: その金融商品会計は転び出る; int17 -> int18: その金融商品会計はサラリーマン氏であるか転び出るか両方ともだ; int18 -> int19: 何らかの物はサラリーマン氏であるかまたは転び出る; int19 & fact22 -> int20: この大物達は祈らない;
$facts$ = fact1: もし「その金融商品会計は振り当てる」ということは成り立つならこの大物達は転び出ない fact2: もし仮になにがしかの物が参学するとすればそれは粘土板だ fact3: もし仮にその金融商品会計は祈らないならば「御結婚為さるし加えて振り当てない」ということは成り立たない fact4: その工作員は転び出る fact5: もし仮にある物はサラリーマン氏であるということはないとしたら「それは参学する」ということは確かだ fact6: 仮に何かはサラリーマン氏であるかあるいは転び出るかあるいは両方ともだとしたら「この大物達は祈らない」ということは成り立つ fact7: この大物達は振り当てない fact8: もしもなにかは祈るとするとそれはサラリーマン氏でない fact9: その金融商品会計はださい fact10: もし仮に「「その金融商品会計は御結婚為さる一方で振り当てない」ということは成り立たない」ということは事実であるならばあの大物達は転び出る fact11: この唾液中は浜辺だ fact12: 粘土板は振り当てるということはない fact13: もしこの唾液中が空気感染だとするとこのツイスト親分は粘土板だがうら若いということはない fact14: 「その金融商品会計は御結婚為さるしそれに振り当てる」ということは嘘だ fact15: もしなにかは反回するということはないとすると歩み出す fact16: もし仮にその金融商品会計は祈らないとしたら「「それは御結婚為さるしまたそれは振り当てる」ということは真実だ」ということは嘘である fact17: 浜辺は空気感染である fact18: もし「この大物達は粘土板だがしかしサラリーマン氏でない」ということは本当でないとすればその金融商品会計は転び出ない fact19: 仮にこのツイスト親分が転び出るかもしくは参学しないか両方ともならその金融商品会計は転び出る fact20: もし粘土板はうら若くないとすると参学するということはない fact21: もし仮に「その金融商品会計は御結婚為さるけど振り当てない」ということは成り立たないとしたら「この大物達は転び出ない」ということは確かである ; $hypothesis$ = 仮にこの大物達が転び出るとするとその金融商品会計は粘土板である ; $proof$ = 
void -> assump1: 以下のように仮定する。その金融商品会計は祈らない; fact3 & assump1 -> int1: 「その金融商品会計は御結婚為さる一方で振り当てない」ということは嘘である; int1 & fact21 -> int2: この大物達は転び出ない; void -> assump2: 以下のように仮定する。この大物達は転び出る; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その金融商品会計は祈る; fact8 -> int5: もしもその金融商品会計が祈るならそれはサラリーマン氏でない; int4 & int5 -> int6: その金融商品会計はサラリーマン氏でない; fact5 -> int7: もし「その金融商品会計はサラリーマン氏でない」ということは誤っていないとすると参学する; int6 & int7 -> int8: その金融商品会計は参学する; fact2 -> int9: 仮にその金融商品会計が参学するとすると粘土板だ; int8 & int9 -> int10: その金融商品会計は粘土板である; [assump2] & int10 -> hypothesis; __PROVED__
事実1: もし「その金融商品会計は振り当てる」ということは成り立つならこの大物達は転び出ない
事実2: もし仮になにがしかの物が参学するとすればそれは粘土板だ
事実3: もし仮にその金融商品会計は祈らないならば「御結婚為さるし加えて振り当てない」ということは成り立たない
事実4: その工作員は転び出る
事実5: もし仮にある物はサラリーマン氏であるということはないとしたら「それは参学する」ということは確かだ
事実6: 仮に何かはサラリーマン氏であるかあるいは転び出るかあるいは両方ともだとしたら「この大物達は祈らない」ということは成り立つ
事実7: この大物達は振り当てない
事実8: もしもなにかは祈るとするとそれはサラリーマン氏でない
事実9: その金融商品会計はださい
事実10: もし仮に「「その金融商品会計は御結婚為さる一方で振り当てない」ということは成り立たない」ということは事実であるならばあの大物達は転び出る
事実11: この唾液中は浜辺だ
事実12: 粘土板は振り当てるということはない
事実13: もしこの唾液中が空気感染だとするとこのツイスト親分は粘土板だがうら若いということはない
事実14: 「その金融商品会計は御結婚為さるしそれに振り当てる」ということは嘘だ
事実15: もしなにかは反回するということはないとすると歩み出す
事実16: もし仮にその金融商品会計は祈らないとしたら「「それは御結婚為さるしまたそれは振り当てる」ということは真実だ」ということは嘘である
事実17: 浜辺は空気感染である
事実18: もし「この大物達は粘土板だがしかしサラリーマン氏でない」ということは本当でないとすればその金融商品会計は転び出ない
事実19: 仮にこのツイスト親分が転び出るかもしくは参学しないか両方ともならその金融商品会計は転び出る
事実20: もし粘土板はうら若くないとすると参学するということはない
事実21: もし仮に「その金融商品会計は御結婚為さるけど振り当てない」ということは成り立たないとしたら「この大物達は転び出ない」ということは確かである

仮説: 仮にこの大物達が転び出るとするとその金融商品会計は粘土板である
1. 仮定1: 以下のように仮定する。その金融商品会計は祈らない
2. 事実3と仮定1から、推論1: "「その金融商品会計は御結婚為さる一方で振り当てない」ということは嘘である"が導かれる
3. 推論1と事実21から、推論2: "この大物達は転び出ない"が導かれる
4. 仮定2: 以下のように仮定する。この大物達は転び出る
5. 推論2と仮定2から、推論3: "これは矛盾である"が導かれる
6. [仮定1]と推論3から、推論4: "その金融商品会計は祈る"が導かれる
7. 事実8から、推論5: "もしもその金融商品会計が祈るならそれはサラリーマン氏でない"が導かれる
8. 推論4と推論5から、推論6: "その金融商品会計はサラリーマン氏でない"が導かれる
9. 事実5から、推論7: "もし「その金融商品会計はサラリーマン氏でない」ということは誤っていないとすると参学する"が導かれる
10. 推論6と推論7から、推論8: "その金融商品会計は参学する"が導かれる
11. 事実2から、推論9: "仮にその金融商品会計が参学するとすると粘土板だ"が導かれる
12. 推論8と推論9から、推論10: "その金融商品会計は粘土板である"が導かれる
13. [仮定2]と推論10から、仮説が導かれる

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