あのボーイフレンドは置き易い
fact1: 伸ばし易いということはないものは置き易い fact2: もしあの大脳動脈が馬鹿馬鹿しくてさらにハンチ等であるならばあの新生子期は馬鹿馬鹿しかない fact3: もしもなにがしかの物がかりかりするとしたら誅する fact4: 「あのボーイフレンドは馬鹿馬鹿しいけど置き易くない」ということは偽だ fact5: あの大脳動脈はかりかりする fact6: 仮にあの大脳動脈が誅するしそれは置き易いとしたら「あのボーイフレンドは置き易くない」ということは確かである fact7: もしもあの大脳動脈はハンチ等であるとすると「「あの定期市は馬鹿馬鹿しいが誅しない」ということは成り立つ」ということは偽だ fact8: 仮に「あの大脳動脈は馬鹿馬鹿しい」ということは確かなら「あの定期市はハンチ等である一方でかりかりしない」ということは成り立つということはない fact9: この他分野は大同心であるしさらにそれは雄々しい fact10: 伸ばし易いものは誅する fact11: もしも「あの定期市はＩＰ網である」ということは成り立つとすると「それは置き易い」ということは真実だ fact12: もしもあるものは馬鹿馬鹿しいということはないならば「注意深いがかりかりするということはない」ということは誤っている fact13: もし「あの定期市はハンチ等だけれどかりかりしない」ということは成り立つということはないとしたらあのボーイフレンドは伸ばし易くない fact14: あの大脳動脈は誅する fact15: あの大脳動脈は馬鹿馬鹿しくておまけに誅する fact16: あの定期市はＩＰ網である
fact15 -> int1: あの大脳動脈は馬鹿馬鹿しい; int1 & fact8 -> int2: 「「あの定期市はハンチ等だがかりかりしない」ということは事実だ」ということは誤っている; int2 & fact13 -> int3: あのボーイフレンドは伸ばし易くない; fact1 -> int4: もしあのボーイフレンドは伸ばし易くないなら「置き易い」ということは事実である; int3 & int4 -> hypothesis;
あのボーイフレンドは置き易いということはない
fact17 -> int5: もし仮に「あの大脳動脈はかりかりする」ということは本当なら「誅する」ということは真実である; int5 & fact18 -> int6: 「あの大脳動脈は誅する」ということは成り立つ;
$facts$ = fact1: 伸ばし易いということはないものは置き易い fact2: もしあの大脳動脈が馬鹿馬鹿しくてさらにハンチ等であるならばあの新生子期は馬鹿馬鹿しかない fact3: もしもなにがしかの物がかりかりするとしたら誅する fact4: 「あのボーイフレンドは馬鹿馬鹿しいけど置き易くない」ということは偽だ fact5: あの大脳動脈はかりかりする fact6: 仮にあの大脳動脈が誅するしそれは置き易いとしたら「あのボーイフレンドは置き易くない」ということは確かである fact7: もしもあの大脳動脈はハンチ等であるとすると「「あの定期市は馬鹿馬鹿しいが誅しない」ということは成り立つ」ということは偽だ fact8: 仮に「あの大脳動脈は馬鹿馬鹿しい」ということは確かなら「あの定期市はハンチ等である一方でかりかりしない」ということは成り立つということはない fact9: この他分野は大同心であるしさらにそれは雄々しい fact10: 伸ばし易いものは誅する fact11: もしも「あの定期市はＩＰ網である」ということは成り立つとすると「それは置き易い」ということは真実だ fact12: もしもあるものは馬鹿馬鹿しいということはないならば「注意深いがかりかりするということはない」ということは誤っている fact13: もし「あの定期市はハンチ等だけれどかりかりしない」ということは成り立つということはないとしたらあのボーイフレンドは伸ばし易くない fact14: あの大脳動脈は誅する fact15: あの大脳動脈は馬鹿馬鹿しくておまけに誅する fact16: あの定期市はＩＰ網である ; $hypothesis$ = あのボーイフレンドは置き易い ; $proof$ = 
fact15 -> int1: あの大脳動脈は馬鹿馬鹿しい; int1 & fact8 -> int2: 「「あの定期市はハンチ等だがかりかりしない」ということは事実だ」ということは誤っている; int2 & fact13 -> int3: あのボーイフレンドは伸ばし易くない; fact1 -> int4: もしあのボーイフレンドは伸ばし易くないなら「置き易い」ということは事実である; int3 & int4 -> hypothesis; __PROVED__
事実1: 伸ばし易いということはないものは置き易い
事実2: もしあの大脳動脈が馬鹿馬鹿しくてさらにハンチ等であるならばあの新生子期は馬鹿馬鹿しかない
事実3: もしもなにがしかの物がかりかりするとしたら誅する
事実4: 「あのボーイフレンドは馬鹿馬鹿しいけど置き易くない」ということは偽だ
事実5: あの大脳動脈はかりかりする
事実6: 仮にあの大脳動脈が誅するしそれは置き易いとしたら「あのボーイフレンドは置き易くない」ということは確かである
事実7: もしもあの大脳動脈はハンチ等であるとすると「「あの定期市は馬鹿馬鹿しいが誅しない」ということは成り立つ」ということは偽だ
事実8: 仮に「あの大脳動脈は馬鹿馬鹿しい」ということは確かなら「あの定期市はハンチ等である一方でかりかりしない」ということは成り立つということはない
事実9: この他分野は大同心であるしさらにそれは雄々しい
事実10: 伸ばし易いものは誅する
事実11: もしも「あの定期市はＩＰ網である」ということは成り立つとすると「それは置き易い」ということは真実だ
事実12: もしもあるものは馬鹿馬鹿しいということはないならば「注意深いがかりかりするということはない」ということは誤っている
事実13: もし「あの定期市はハンチ等だけれどかりかりしない」ということは成り立つということはないとしたらあのボーイフレンドは伸ばし易くない
事実14: あの大脳動脈は誅する
事実15: あの大脳動脈は馬鹿馬鹿しくておまけに誅する
事実16: あの定期市はＩＰ網である

仮説: あのボーイフレンドは置き易い
1. 事実15から、推論1: "あの大脳動脈は馬鹿馬鹿しい"が導かれる
2. 推論1と事実8から、推論2: "「「あの定期市はハンチ等だがかりかりしない」ということは事実だ」ということは誤っている"が導かれる
3. 推論2と事実13から、推論3: "あのボーイフレンドは伸ばし易くない"が導かれる
4. 事実1から、推論4: "もしあのボーイフレンドは伸ばし易くないなら「置き易い」ということは事実である"が導かれる
5. 推論3と推論4から、仮説が導かれる

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