「仮にバン・バンでないとしたら「目覚ましくないし更に還付しない」ということは成り立たない」物はある
fact1: もしも「そのネット経由はバン・バンである」ということは成り立つなら「それは目覚ましくないし還付しない」ということは偽だ fact2: 仮にそのネット経由はバン・バンであるということはないなら「目覚ましくないししかも還付するということはない」ということは成り立つということはない fact3: もし仮にそのネット経由はバン・バンでないならば「それが目覚ましくないしさらにそれは還付する」ということは偽である fact4: 「「頑張り抜かないなら言い難くないし持ち崩さない」ものはある」ということは真実だ fact5: 「もしも図々しかないとすると「浅ましいということはなくてしかも訪れない」ということは真実でない」ものはある fact6: もし何かは目覚ましくないとすると「前年度でないし心意識でない」ということは成り立つということはない fact7: もしもその東雲は晴れがましいということはないならば「それはバン・バンだということはないしかつ間違い易くない」ということは成り立たない fact8: そのネット経由はバン・バンでないとすると「それは目覚ましいが還付しない」ということは成り立たない fact9: 「バン・バンでないなら「目覚ましいが還付しない」ということは本当でない」物はある fact10: もしもそのネット経由がバン・バンでないとするとそれは目覚ましくないしまたそれは還付しない fact11: 「もし仮にバン・バンであるということはないとすると「目覚ましくないけれど還付する」ということは成り立つということはない」物はある
fact2 -> hypothesis;
もしそのネット経由は目覚ましいということはないならば「前年度でないししかも心意識だということはない」ということは成り立たない
fact12 -> hypothesis;
$facts$ = fact1: もしも「そのネット経由はバン・バンである」ということは成り立つなら「それは目覚ましくないし還付しない」ということは偽だ fact2: 仮にそのネット経由はバン・バンであるということはないなら「目覚ましくないししかも還付するということはない」ということは成り立つということはない fact3: もし仮にそのネット経由はバン・バンでないならば「それが目覚ましくないしさらにそれは還付する」ということは偽である fact4: 「「頑張り抜かないなら言い難くないし持ち崩さない」ものはある」ということは真実だ fact5: 「もしも図々しかないとすると「浅ましいということはなくてしかも訪れない」ということは真実でない」ものはある fact6: もし何かは目覚ましくないとすると「前年度でないし心意識でない」ということは成り立つということはない fact7: もしもその東雲は晴れがましいということはないならば「それはバン・バンだということはないしかつ間違い易くない」ということは成り立たない fact8: そのネット経由はバン・バンでないとすると「それは目覚ましいが還付しない」ということは成り立たない fact9: 「バン・バンでないなら「目覚ましいが還付しない」ということは本当でない」物はある fact10: もしもそのネット経由がバン・バンでないとするとそれは目覚ましくないしまたそれは還付しない fact11: 「もし仮にバン・バンであるということはないとすると「目覚ましくないけれど還付する」ということは成り立つということはない」物はある ; $hypothesis$ = 「仮にバン・バンでないとしたら「目覚ましくないし更に還付しない」ということは成り立たない」物はある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もしも「そのネット経由はバン・バンである」ということは成り立つなら「それは目覚ましくないし還付しない」ということは偽だ
事実2: 仮にそのネット経由はバン・バンであるということはないなら「目覚ましくないししかも還付するということはない」ということは成り立つということはない
事実3: もし仮にそのネット経由はバン・バンでないならば「それが目覚ましくないしさらにそれは還付する」ということは偽である
事実4: 「「頑張り抜かないなら言い難くないし持ち崩さない」ものはある」ということは真実だ
事実5: 「もしも図々しかないとすると「浅ましいということはなくてしかも訪れない」ということは真実でない」ものはある
事実6: もし何かは目覚ましくないとすると「前年度でないし心意識でない」ということは成り立つということはない
事実7: もしもその東雲は晴れがましいということはないならば「それはバン・バンだということはないしかつ間違い易くない」ということは成り立たない
事実8: そのネット経由はバン・バンでないとすると「それは目覚ましいが還付しない」ということは成り立たない
事実9: 「バン・バンでないなら「目覚ましいが還付しない」ということは本当でない」物はある
事実10: もしもそのネット経由がバン・バンでないとするとそれは目覚ましくないしまたそれは還付しない
事実11: 「もし仮にバン・バンであるということはないとすると「目覚ましくないけれど還付する」ということは成り立つということはない」物はある

仮説: 「仮にバン・バンでないとしたら「目覚ましくないし更に還付しない」ということは成り立たない」物はある
1. 事実2から、仮説が導かれる

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