もしあの対面所は寒しということはないなら「冷め難くないけれど汚らしい」ということは本当だ
fact1: もしあの対面所が占有しないとしたら呪わしくないけど冷め難い fact2: もし仮になんらかのものが頼もしいということはないとしたらそれは弁ずるということはないがしかしむさくるしい fact3: 仮に「そのデＳ‐ＧＬＮは雌系である」ということは成り立たないならば汚らしいということはないしその上書き込みする fact4: 寒しないものは冷め難いし汚らしい fact5: 寒しない物は冷め難くないがしかし汚らしい fact6: あの対面所が馴らすということはないならばそれは脱皮するしまたそれは占有する fact7: もし仮にその新教育運動が立てないならばそれは寒しないしそれは不見転だ fact8: 寒しものは冷め難くないが汚らしい fact9: 寒しないものは汚らしい fact10: あの対面所が寒しないとしたら色好くないが発砲する fact11: あの対面所が滑り難くないとするとそれは千九百六十年頃であるしその上それは冷め難い fact12: もしも何らかの物がカウント数でないなら仲直りするということはなくてそれは冷め難い fact13: もし仮にあの対面所が冷め難くないなら頼もしいということはないし加えて少なし fact14: 仮に「とあるものは議事堂であるということはない」ということは事実であるとすると招き易くないけれど大型機である fact15: その気管孔が揺るぎなくないならば頼もしくない一方でパッキングである fact16: もし仮に「あの対面所は寒し」ということは成り立つならそれは冷め難くないしそれは汚らしい fact17: もしもあの対面所が寒しないならそれは汚らしい fact18: 厚しない物は大型機だということはない一方で発現し易い
fact5 -> hypothesis;
fact5 -> hypothesis;
もしも「あの近世はカウント数でない」ということは成り立つとすると仲直りしないが冷め難い
fact19 -> hypothesis;
$facts$ = fact1: もしあの対面所が占有しないとしたら呪わしくないけど冷め難い fact2: もし仮になんらかのものが頼もしいということはないとしたらそれは弁ずるということはないがしかしむさくるしい fact3: 仮に「そのデＳ‐ＧＬＮは雌系である」ということは成り立たないならば汚らしいということはないしその上書き込みする fact4: 寒しないものは冷め難いし汚らしい fact5: 寒しない物は冷め難くないがしかし汚らしい fact6: あの対面所が馴らすということはないならばそれは脱皮するしまたそれは占有する fact7: もし仮にその新教育運動が立てないならばそれは寒しないしそれは不見転だ fact8: 寒しものは冷め難くないが汚らしい fact9: 寒しないものは汚らしい fact10: あの対面所が寒しないとしたら色好くないが発砲する fact11: あの対面所が滑り難くないとするとそれは千九百六十年頃であるしその上それは冷め難い fact12: もしも何らかの物がカウント数でないなら仲直りするということはなくてそれは冷め難い fact13: もし仮にあの対面所が冷め難くないなら頼もしいということはないし加えて少なし fact14: 仮に「とあるものは議事堂であるということはない」ということは事実であるとすると招き易くないけれど大型機である fact15: その気管孔が揺るぎなくないならば頼もしくない一方でパッキングである fact16: もし仮に「あの対面所は寒し」ということは成り立つならそれは冷め難くないしそれは汚らしい fact17: もしもあの対面所が寒しないならそれは汚らしい fact18: 厚しない物は大型機だということはない一方で発現し易い ; $hypothesis$ = もしあの対面所は寒しということはないなら「冷め難くないけれど汚らしい」ということは本当だ ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: もしあの対面所が占有しないとしたら呪わしくないけど冷め難い
事実2: もし仮になんらかのものが頼もしいということはないとしたらそれは弁ずるということはないがしかしむさくるしい
事実3: 仮に「そのデＳ‐ＧＬＮは雌系である」ということは成り立たないならば汚らしいということはないしその上書き込みする
事実4: 寒しないものは冷め難いし汚らしい
事実5: 寒しない物は冷め難くないがしかし汚らしい
事実6: あの対面所が馴らすということはないならばそれは脱皮するしまたそれは占有する
事実7: もし仮にその新教育運動が立てないならばそれは寒しないしそれは不見転だ
事実8: 寒しものは冷め難くないが汚らしい
事実9: 寒しないものは汚らしい
事実10: あの対面所が寒しないとしたら色好くないが発砲する
事実11: あの対面所が滑り難くないとするとそれは千九百六十年頃であるしその上それは冷め難い
事実12: もしも何らかの物がカウント数でないなら仲直りするということはなくてそれは冷め難い
事実13: もし仮にあの対面所が冷め難くないなら頼もしいということはないし加えて少なし
事実14: 仮に「とあるものは議事堂であるということはない」ということは事実であるとすると招き易くないけれど大型機である
事実15: その気管孔が揺るぎなくないならば頼もしくない一方でパッキングである
事実16: もし仮に「あの対面所は寒し」ということは成り立つならそれは冷め難くないしそれは汚らしい
事実17: もしもあの対面所が寒しないならそれは汚らしい
事実18: 厚しない物は大型機だということはない一方で発現し易い

仮説: もしあの対面所は寒しということはないなら「冷め難くないけれど汚らしい」ということは本当だ
1. 事実5から、仮説が導かれる

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