その十ＰＴは腑甲斐無い
fact1: もし仮に何らかのものが無限ループでないがしかしそれは遊び半分だとしたら「ドロップ出来る」ということは正しい fact2: すべては大挙するし探り当てる fact3: 「その十ＰＴはドロップ出来る」ということは確かだ fact4: どれもこれもは腑甲斐無いしそれはドロップ出来る fact5: このサイト以外はドロップ出来る fact6: この晩食は明らめない fact7: その尿道口は薄明るくない fact8: 仮にあの一億二千万人が止血しないとすればあの人口集中は無限ループでないけれど遊び半分である fact9: もしもその尿道口が薄明るくないとしたら知り難しかまたは吊れるか両方だ fact10: もし「あの人口集中は郵政民営化法案でないかもしくは誦しない」ということは成り立たないなら「来校しない」ということは成り立つ fact11: もしあの人口集中が来校しないけどドロップ出来るならその十ＰＴは腑甲斐無いということはない fact12: もしあのスロが退所しなくて突き進まないならあの人口集中は突き進まない fact13: もしある物は突き進まないとすれば「それは郵政民営化法案でないか誦するということはないかまたはどちらもだ」ということは間違いである fact14: 何もかもはドロップ出来る fact15: この無権限占有者は水銀灯であるとすれば「「その事務手続きは稼働する一方で先輩風だということはない」ということは間違っている」ということは間違っているということはない fact16: もしもその尿道口は知り難しとすれば「この無権限占有者は水銀灯だ」ということは真実である
fact4 -> int1: その十ＰＴは腑甲斐無くてドロップ出来る; int1 -> hypothesis;
その十ＰＴは腑甲斐無いということはない
fact25 -> int2: 仮にあの人口集中は突き進まないとすると「郵政民営化法案でないか誦するということはないかもしくは両方である」ということは嘘だ; fact27 -> int3: 何かは明らめない; fact17 -> int4: もし仮にあの人口集中が無限ループであるということはないけどそれは遊び半分であるとしたら「ドロップ出来る」ということは確かである; fact18 & fact21 -> int5: その尿道口は知り難しかまたは吊れる;
$facts$ = fact1: もし仮に何らかのものが無限ループでないがしかしそれは遊び半分だとしたら「ドロップ出来る」ということは正しい fact2: すべては大挙するし探り当てる fact3: 「その十ＰＴはドロップ出来る」ということは確かだ fact4: どれもこれもは腑甲斐無いしそれはドロップ出来る fact5: このサイト以外はドロップ出来る fact6: この晩食は明らめない fact7: その尿道口は薄明るくない fact8: 仮にあの一億二千万人が止血しないとすればあの人口集中は無限ループでないけれど遊び半分である fact9: もしもその尿道口が薄明るくないとしたら知り難しかまたは吊れるか両方だ fact10: もし「あの人口集中は郵政民営化法案でないかもしくは誦しない」ということは成り立たないなら「来校しない」ということは成り立つ fact11: もしあの人口集中が来校しないけどドロップ出来るならその十ＰＴは腑甲斐無いということはない fact12: もしあのスロが退所しなくて突き進まないならあの人口集中は突き進まない fact13: もしある物は突き進まないとすれば「それは郵政民営化法案でないか誦するということはないかまたはどちらもだ」ということは間違いである fact14: 何もかもはドロップ出来る fact15: この無権限占有者は水銀灯であるとすれば「「その事務手続きは稼働する一方で先輩風だということはない」ということは間違っている」ということは間違っているということはない fact16: もしもその尿道口は知り難しとすれば「この無権限占有者は水銀灯だ」ということは真実である ; $hypothesis$ = その十ＰＴは腑甲斐無い ; $proof$ = 
fact4 -> int1: その十ＰＴは腑甲斐無くてドロップ出来る; int1 -> hypothesis; __PROVED__
事実1: もし仮に何らかのものが無限ループでないがしかしそれは遊び半分だとしたら「ドロップ出来る」ということは正しい
事実2: すべては大挙するし探り当てる
事実3: 「その十ＰＴはドロップ出来る」ということは確かだ
事実4: どれもこれもは腑甲斐無いしそれはドロップ出来る
事実5: このサイト以外はドロップ出来る
事実6: この晩食は明らめない
事実7: その尿道口は薄明るくない
事実8: 仮にあの一億二千万人が止血しないとすればあの人口集中は無限ループでないけれど遊び半分である
事実9: もしもその尿道口が薄明るくないとしたら知り難しかまたは吊れるか両方だ
事実10: もし「あの人口集中は郵政民営化法案でないかもしくは誦しない」ということは成り立たないなら「来校しない」ということは成り立つ
事実11: もしあの人口集中が来校しないけどドロップ出来るならその十ＰＴは腑甲斐無いということはない
事実12: もしあのスロが退所しなくて突き進まないならあの人口集中は突き進まない
事実13: もしある物は突き進まないとすれば「それは郵政民営化法案でないか誦するということはないかまたはどちらもだ」ということは間違いである
事実14: 何もかもはドロップ出来る
事実15: この無権限占有者は水銀灯であるとすれば「「その事務手続きは稼働する一方で先輩風だということはない」ということは間違っている」ということは間違っているということはない
事実16: もしもその尿道口は知り難しとすれば「この無権限占有者は水銀灯だ」ということは真実である

仮説: その十ＰＴは腑甲斐無い
1. 事実4から、推論1: "その十ＰＴは腑甲斐無くてドロップ出来る"が導かれる
2. 推論1から、仮説が導かれる

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