「もし仮に「故無くないし加えて形鋼梁でない」ということは成り立つということはないとしたら送信出来ない」物はある
fact1: もしこのすすっぺは故無くないしさらに形鋼梁でないならそれは送信出来ない fact2: もしも「このすすっぺは故無くなくてそれに形鋼梁でない」ということは偽だとしたらそれは送信出来るということはない fact3: もしもこのすすっぺが甚だしないしそれがまだるっこしくないなら引き抜きでない fact4: もし「その別グループは送信出来るけれどそれは基本的機能でない」ということは成り立たないとすると「一脈でない」ということは真実である fact5: もし「その小幡豊後は新規形状パレットでないし供給出来ない」ということは嘘であるとしたら分かり易い fact6: もし仮に「このすすっぺが拡張計画だということはないしさらにそれはゆったりしない」ということは事実だということはないとしたら「送信出来ない」ということは成り立つ fact7: 「その再審事由は決算期毎でないしその上食い違わない」ということは誤っていれば「それは故無い」ということは間違いであるということはない
fact2 -> hypothesis;
$facts$ = fact1: もしこのすすっぺは故無くないしさらに形鋼梁でないならそれは送信出来ない fact2: もしも「このすすっぺは故無くなくてそれに形鋼梁でない」ということは偽だとしたらそれは送信出来るということはない fact3: もしもこのすすっぺが甚だしないしそれがまだるっこしくないなら引き抜きでない fact4: もし「その別グループは送信出来るけれどそれは基本的機能でない」ということは成り立たないとすると「一脈でない」ということは真実である fact5: もし「その小幡豊後は新規形状パレットでないし供給出来ない」ということは嘘であるとしたら分かり易い fact6: もし仮に「このすすっぺが拡張計画だということはないしさらにそれはゆったりしない」ということは事実だということはないとしたら「送信出来ない」ということは成り立つ fact7: 「その再審事由は決算期毎でないしその上食い違わない」ということは誤っていれば「それは故無い」ということは間違いであるということはない ; $hypothesis$ = 「もし仮に「故無くないし加えて形鋼梁でない」ということは成り立つということはないとしたら送信出来ない」物はある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もしこのすすっぺは故無くないしさらに形鋼梁でないならそれは送信出来ない
事実2: もしも「このすすっぺは故無くなくてそれに形鋼梁でない」ということは偽だとしたらそれは送信出来るということはない
事実3: もしもこのすすっぺが甚だしないしそれがまだるっこしくないなら引き抜きでない
事実4: もし「その別グループは送信出来るけれどそれは基本的機能でない」ということは成り立たないとすると「一脈でない」ということは真実である
事実5: もし「その小幡豊後は新規形状パレットでないし供給出来ない」ということは嘘であるとしたら分かり易い
事実6: もし仮に「このすすっぺが拡張計画だということはないしさらにそれはゆったりしない」ということは事実だということはないとしたら「送信出来ない」ということは成り立つ
事実7: 「その再審事由は決算期毎でないしその上食い違わない」ということは誤っていれば「それは故無い」ということは間違いであるということはない

仮説: 「もし仮に「故無くないし加えて形鋼梁でない」ということは成り立つということはないとしたら送信出来ない」物はある
1. 事実2から、仮説が導かれる

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