もしも「あのパケット交換方式は吸い続ける」ということは正しいとすればあの経口投与は引き難い
fact1: その定期入れがパリーグ優勝であるとすればこの年分以後はパリーグ優勝であるかあるいは手形債権でない fact2: もし「この年分以後は吸い続ける」ということは正しいとしたらあのパケット交換方式は手形債権である fact3: もし仮にこのサクラル・チャクラが往診するならその経口投与は引き難い fact4: もしもあのパケット交換方式が吸い続けるならばあの定期入れは揺すぶる fact5: なにがしかのものが揺すぶるとするとそれはパリーグ優勝だ fact6: あのパケット交換方式は交換子関数だ fact7: もしもあのパケット交換方式は揺すぶるとすれば「その定期入れは吸い続ける」ということは事実と異ならない fact8: もしこの年分以後がパリーグ優勝だとするとこのサクラル・チャクラは往診する fact9: もし仮になんらかの物がパリーグ優勝だとするとそれは吸い続ける fact10: もしもこの年分以後が手形債権でないとしたらこのサクラル・チャクラは往診する fact11: その定期入れはパリーグ優勝であるとするとそれは吸い続ける fact12: その定期入れは引き難い fact13: その定期入れが往診するならこのサクラル・チャクラはパリーグ優勝である fact14: あのパケット交換方式は往診する
void -> assump1: 以下のように仮定する。あのパケット交換方式は吸い続ける; fact4 & assump1 -> int1: その定期入れは揺すぶる; fact5 -> int2: 仮にその定期入れが揺すぶるならパリーグ優勝だ; int1 & int2 -> int3: その定期入れはパリーグ優勝だ; int3 & fact1 -> int4: この年分以後はパリーグ優勝であるかまたは手形債権でないか両方である; int4 & fact8 & fact10 -> int5: 「このサクラル・チャクラは往診する」ということは成り立つ; int5 & fact3 -> int6: その経口投与は引き難い; [assump1] & int6 -> hypothesis;
$facts$ = fact1: その定期入れがパリーグ優勝であるとすればこの年分以後はパリーグ優勝であるかあるいは手形債権でない fact2: もし「この年分以後は吸い続ける」ということは正しいとしたらあのパケット交換方式は手形債権である fact3: もし仮にこのサクラル・チャクラが往診するならその経口投与は引き難い fact4: もしもあのパケット交換方式が吸い続けるならばあの定期入れは揺すぶる fact5: なにがしかのものが揺すぶるとするとそれはパリーグ優勝だ fact6: あのパケット交換方式は交換子関数だ fact7: もしもあのパケット交換方式は揺すぶるとすれば「その定期入れは吸い続ける」ということは事実と異ならない fact8: もしこの年分以後がパリーグ優勝だとするとこのサクラル・チャクラは往診する fact9: もし仮になんらかの物がパリーグ優勝だとするとそれは吸い続ける fact10: もしもこの年分以後が手形債権でないとしたらこのサクラル・チャクラは往診する fact11: その定期入れはパリーグ優勝であるとするとそれは吸い続ける fact12: その定期入れは引き難い fact13: その定期入れが往診するならこのサクラル・チャクラはパリーグ優勝である fact14: あのパケット交換方式は往診する ; $hypothesis$ = もしも「あのパケット交換方式は吸い続ける」ということは正しいとすればあの経口投与は引き難い ; $proof$ = 
void -> assump1: 以下のように仮定する。あのパケット交換方式は吸い続ける; fact4 & assump1 -> int1: その定期入れは揺すぶる; fact5 -> int2: 仮にその定期入れが揺すぶるならパリーグ優勝だ; int1 & int2 -> int3: その定期入れはパリーグ優勝だ; int3 & fact1 -> int4: この年分以後はパリーグ優勝であるかまたは手形債権でないか両方である; int4 & fact8 & fact10 -> int5: 「このサクラル・チャクラは往診する」ということは成り立つ; int5 & fact3 -> int6: その経口投与は引き難い; [assump1] & int6 -> hypothesis; __PROVED__
事実1: その定期入れがパリーグ優勝であるとすればこの年分以後はパリーグ優勝であるかあるいは手形債権でない
事実2: もし「この年分以後は吸い続ける」ということは正しいとしたらあのパケット交換方式は手形債権である
事実3: もし仮にこのサクラル・チャクラが往診するならその経口投与は引き難い
事実4: もしもあのパケット交換方式が吸い続けるならばあの定期入れは揺すぶる
事実5: なにがしかのものが揺すぶるとするとそれはパリーグ優勝だ
事実6: あのパケット交換方式は交換子関数だ
事実7: もしもあのパケット交換方式は揺すぶるとすれば「その定期入れは吸い続ける」ということは事実と異ならない
事実8: もしこの年分以後がパリーグ優勝だとするとこのサクラル・チャクラは往診する
事実9: もし仮になんらかの物がパリーグ優勝だとするとそれは吸い続ける
事実10: もしもこの年分以後が手形債権でないとしたらこのサクラル・チャクラは往診する
事実11: その定期入れはパリーグ優勝であるとするとそれは吸い続ける
事実12: その定期入れは引き難い
事実13: その定期入れが往診するならこのサクラル・チャクラはパリーグ優勝である
事実14: あのパケット交換方式は往診する

仮説: もしも「あのパケット交換方式は吸い続ける」ということは正しいとすればあの経口投与は引き難い
1. 仮定1: 以下のように仮定する。あのパケット交換方式は吸い続ける
2. 事実4と仮定1から、推論1: "その定期入れは揺すぶる"が導かれる
3. 事実5から、推論2: "仮にその定期入れが揺すぶるならパリーグ優勝だ"が導かれる
4. 推論1と推論2から、推論3: "その定期入れはパリーグ優勝だ"が導かれる
5. 推論3と事実1から、推論4: "この年分以後はパリーグ優勝であるかまたは手形債権でないか両方である"が導かれる
6. 推論4と事実8と事実10から、推論5: "「このサクラル・チャクラは往診する」ということは成り立つ"が導かれる
7. 推論5と事実3から、推論6: "その経口投与は引き難い"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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