「もし押さえ切れないとすれば「乗り易くておまけに惨め過ぎない」ということは成り立たない」ものはある
fact1: もしこの存命中は帰郷するということはないとしたら「「それは行い易いし加えて惨め過ぎるということはない」ということは本当である」ということは成り立たない fact2: 「「もし仮に承知出来ないならば「偉いけど報告するということはない」ということは成り立たない」物はある」ということは成り立つ fact3: この存命中は押さえ切れないとすると「それは乗り易くて更に惨め過ぎない」ということは誤りだ fact4: 「もしリタイアでないとしたら「抜本でおまけに付随しない」ということは間違いな」物はある fact5: 仮にこの存命中が押さえ切れないとすれば乗り易いしそれにそれは惨め過ぎない fact6: 「だらけないなら「有効範囲だがしかし欠失するということはない」ということは成り立たない」物はある fact7: この存命中は帰郷しないとすると「押さえ切れるしかつ私服姿でない」ということは正しくない fact8: もしもあの教義自体は偉くないとすると「ＪＡＣで押さえ切れない」ということは誤りだ fact9: 「仮に押さえ切れないとしたら「乗り易くて更に惨め過ぎる」ということは成り立たない」ものはある fact10: 仮にこの存命中は押さえ切れるとすると「「乗り易いがしかし惨め過ぎるということはない」ということは事実だ」ということは嘘だ fact11: 仮に「この存命中は押さえ切れない」ということは事実であるとすれば「乗り易いし加えて惨め過ぎる」ということは嘘である fact12: あの老犬チワワは惨め過ぎるということはないとすれば「受け入れ難いけど総称しない」ということは事実と異なる fact13: 「もし仮に押さえ切れれば「乗り易いけれど惨め過ぎるということはない」ということは嘘である」ものはある fact14: もし仮にあの飴細工は自己犠牲でないとすると「それがＡ‐Ｄコンバータだしそれは乗り易くない」ということは嘘である fact15: 「もし仮に押さえ切れないとすれば乗り易いが惨め過ぎない」物はある
fact3 -> hypothesis;
$facts$ = fact1: もしこの存命中は帰郷するということはないとしたら「「それは行い易いし加えて惨め過ぎるということはない」ということは本当である」ということは成り立たない fact2: 「「もし仮に承知出来ないならば「偉いけど報告するということはない」ということは成り立たない」物はある」ということは成り立つ fact3: この存命中は押さえ切れないとすると「それは乗り易くて更に惨め過ぎない」ということは誤りだ fact4: 「もしリタイアでないとしたら「抜本でおまけに付随しない」ということは間違いな」物はある fact5: 仮にこの存命中が押さえ切れないとすれば乗り易いしそれにそれは惨め過ぎない fact6: 「だらけないなら「有効範囲だがしかし欠失するということはない」ということは成り立たない」物はある fact7: この存命中は帰郷しないとすると「押さえ切れるしかつ私服姿でない」ということは正しくない fact8: もしもあの教義自体は偉くないとすると「ＪＡＣで押さえ切れない」ということは誤りだ fact9: 「仮に押さえ切れないとしたら「乗り易くて更に惨め過ぎる」ということは成り立たない」ものはある fact10: 仮にこの存命中は押さえ切れるとすると「「乗り易いがしかし惨め過ぎるということはない」ということは事実だ」ということは嘘だ fact11: 仮に「この存命中は押さえ切れない」ということは事実であるとすれば「乗り易いし加えて惨め過ぎる」ということは嘘である fact12: あの老犬チワワは惨め過ぎるということはないとすれば「受け入れ難いけど総称しない」ということは事実と異なる fact13: 「もし仮に押さえ切れれば「乗り易いけれど惨め過ぎるということはない」ということは嘘である」ものはある fact14: もし仮にあの飴細工は自己犠牲でないとすると「それがＡ‐Ｄコンバータだしそれは乗り易くない」ということは嘘である fact15: 「もし仮に押さえ切れないとすれば乗り易いが惨め過ぎない」物はある ; $hypothesis$ = 「もし押さえ切れないとすれば「乗り易くておまけに惨め過ぎない」ということは成り立たない」ものはある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: もしこの存命中は帰郷するということはないとしたら「「それは行い易いし加えて惨め過ぎるということはない」ということは本当である」ということは成り立たない
事実2: 「「もし仮に承知出来ないならば「偉いけど報告するということはない」ということは成り立たない」物はある」ということは成り立つ
事実3: この存命中は押さえ切れないとすると「それは乗り易くて更に惨め過ぎない」ということは誤りだ
事実4: 「もしリタイアでないとしたら「抜本でおまけに付随しない」ということは間違いな」物はある
事実5: 仮にこの存命中が押さえ切れないとすれば乗り易いしそれにそれは惨め過ぎない
事実6: 「だらけないなら「有効範囲だがしかし欠失するということはない」ということは成り立たない」物はある
事実7: この存命中は帰郷しないとすると「押さえ切れるしかつ私服姿でない」ということは正しくない
事実8: もしもあの教義自体は偉くないとすると「ＪＡＣで押さえ切れない」ということは誤りだ
事実9: 「仮に押さえ切れないとしたら「乗り易くて更に惨め過ぎる」ということは成り立たない」ものはある
事実10: 仮にこの存命中は押さえ切れるとすると「「乗り易いがしかし惨め過ぎるということはない」ということは事実だ」ということは嘘だ
事実11: 仮に「この存命中は押さえ切れない」ということは事実であるとすれば「乗り易いし加えて惨め過ぎる」ということは嘘である
事実12: あの老犬チワワは惨め過ぎるということはないとすれば「受け入れ難いけど総称しない」ということは事実と異なる
事実13: 「もし仮に押さえ切れれば「乗り易いけれど惨め過ぎるということはない」ということは嘘である」ものはある
事実14: もし仮にあの飴細工は自己犠牲でないとすると「それがＡ‐Ｄコンバータだしそれは乗り易くない」ということは嘘である
事実15: 「もし仮に押さえ切れないとすれば乗り易いが惨め過ぎない」物はある

仮説: 「もし押さえ切れないとすれば「乗り易くておまけに惨め過ぎない」ということは成り立たない」ものはある
1. 事実3から、仮説が導かれる

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