その有志はすっごーくない
fact1: 仮にあの強制加入が駆け回るということはないがそれがささくれるとするとその転入生は運命付ける fact2: その有志はヒット・チャートだということはない fact3: この万国共通は淡いなら「それは振れないしおまけにそれは迷信深くない」ということは誤っている fact4: もし「何らかのものは振れるがしかしすっごーくない」ということは成り立つということはないとしたらすっごーい fact5: あるものが淡いということはないしさらに運命付けるということはないとしたらそれは迷信深くない fact6: もしも「この万国共通は迷信深くない」ということは正しいなら「「その有志は振れる一方ですっごーくない」ということは成り立たない」ということは本当だ fact7: この歪曲はすっごーくない fact8: もしあの強制加入はゴーパルケーラー村生まれであるとすれば駆け回らないがしかしささくれる fact9: 「すべてはすっごーくない」ということは事実である fact10: もしもあの強制加入が寝直さないか汲むならゴーパルケーラー村生まれである
fact9 -> hypothesis;
fact9 -> hypothesis;
あの鉄線はすっごーくない
$facts$ = fact1: 仮にあの強制加入が駆け回るということはないがそれがささくれるとするとその転入生は運命付ける fact2: その有志はヒット・チャートだということはない fact3: この万国共通は淡いなら「それは振れないしおまけにそれは迷信深くない」ということは誤っている fact4: もし「何らかのものは振れるがしかしすっごーくない」ということは成り立つということはないとしたらすっごーい fact5: あるものが淡いということはないしさらに運命付けるということはないとしたらそれは迷信深くない fact6: もしも「この万国共通は迷信深くない」ということは正しいなら「「その有志は振れる一方ですっごーくない」ということは成り立たない」ということは本当だ fact7: この歪曲はすっごーくない fact8: もしあの強制加入はゴーパルケーラー村生まれであるとすれば駆け回らないがしかしささくれる fact9: 「すべてはすっごーくない」ということは事実である fact10: もしもあの強制加入が寝直さないか汲むならゴーパルケーラー村生まれである ; $hypothesis$ = その有志はすっごーくない ; $proof$ = 
fact9 -> hypothesis; __PROVED__
事実1: 仮にあの強制加入が駆け回るということはないがそれがささくれるとするとその転入生は運命付ける
事実2: その有志はヒット・チャートだということはない
事実3: この万国共通は淡いなら「それは振れないしおまけにそれは迷信深くない」ということは誤っている
事実4: もし「何らかのものは振れるがしかしすっごーくない」ということは成り立つということはないとしたらすっごーい
事実5: あるものが淡いということはないしさらに運命付けるということはないとしたらそれは迷信深くない
事実6: もしも「この万国共通は迷信深くない」ということは正しいなら「「その有志は振れる一方ですっごーくない」ということは成り立たない」ということは本当だ
事実7: この歪曲はすっごーくない
事実8: もしあの強制加入はゴーパルケーラー村生まれであるとすれば駆け回らないがしかしささくれる
事実9: 「すべてはすっごーくない」ということは事実である
事実10: もしもあの強制加入が寝直さないか汲むならゴーパルケーラー村生まれである

仮説: その有志はすっごーくない
1. 事実9から、仮説が導かれる

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