その航海術は抗い難い
fact1: 「その一本独鈷は鬱陶しい一方で撫で続けるということはない」ということは間違いだ fact2: もし仮に遣り易くないものが来店でないとすればそれは投げである fact3: もし仮に何かは鬱陶しいということはないならば「それは投げでかつ事件現場でない」ということは成り立たない fact4: 「その一本独鈷は極論するが開館しない」ということは事実でないならこのチケット代は凱旋しない fact5: この破風が開館しない一方で鬱陶しいとしたらその航海術は鬱陶しかない fact6: もし仮に「何かは投げであるけれど事件現場でない」ということは成り立たないとすれば投げだということはない fact7: もし「「この破風は練り物であるしかつ憎しみである」ということは間違いでない」ということは成り立たないならば来店でない fact8: もしも「凱旋するということはない」ものがあるとしたらその航海術は抗い難くない fact9: もし仮にその仮称が鬱陶しいとしたらその一本独鈷は事件現場である fact10: もしその一本独鈷が来店だとするとこの破風は事件現場だ fact11: 仮にこの破風が来店でないとすればそれは遣り易くないけれど投げだ fact12: もしこの破風が鬱陶しいということはないが遣り易いとしたらその仮称は極論する fact13: 「この破風は練り物であるしおまけに憎しみだ」ということは成り立たない fact14: もしこの破風が遣り易くないけど投げだとするとその仮称は鬱陶しい fact15: もしもその一本独鈷は事件現場なら「極論するけど開館しない」ということは間違いだ fact16: 仮にその仮称が極論するということはないとすればあの破風は開館しないけど鬱陶しい fact17: もし仮にその仮称が極論しないならば見出だし難い fact18: 仮に「何らかの物は来店でなくてしかもそれは遣り易くない」ということは誤りだとしたらそれは抗い難い fact19: もしなにがしかのものは投げでないとすれば「それは来店であるということはないしかつ遣り易いということはない」ということは嘘である fact20: この破風はか細くないがしかしそれは開館する fact21: この破風が鬱陶しかないとするとその航海術が遣り易いということはないしその上来店でない
fact7 & fact13 -> int1: この破風は来店であるということはない; int1 & fact11 -> int2: この破風は遣り易いということはない一方で投げだ; int2 & fact14 -> int3: その仮称は鬱陶しい; int3 & fact9 -> int4: その一本独鈷は事件現場だ; int4 & fact15 -> int5: 「その一本独鈷は極論するけどそれは開館するということはない」ということは成り立たない; int5 & fact4 -> int6: このチケット代は凱旋しない; int6 -> int7: 「凱旋しない」物はある; int7 & fact8 -> hypothesis;
その航海術は投げだ
fact22 -> int8: もし仮にその航海術が遣り易くないし来店だということはないならば投げだ;
$facts$ = fact1: 「その一本独鈷は鬱陶しい一方で撫で続けるということはない」ということは間違いだ fact2: もし仮に遣り易くないものが来店でないとすればそれは投げである fact3: もし仮に何かは鬱陶しいということはないならば「それは投げでかつ事件現場でない」ということは成り立たない fact4: 「その一本独鈷は極論するが開館しない」ということは事実でないならこのチケット代は凱旋しない fact5: この破風が開館しない一方で鬱陶しいとしたらその航海術は鬱陶しかない fact6: もし仮に「何かは投げであるけれど事件現場でない」ということは成り立たないとすれば投げだということはない fact7: もし「「この破風は練り物であるしかつ憎しみである」ということは間違いでない」ということは成り立たないならば来店でない fact8: もしも「凱旋するということはない」ものがあるとしたらその航海術は抗い難くない fact9: もし仮にその仮称が鬱陶しいとしたらその一本独鈷は事件現場である fact10: もしその一本独鈷が来店だとするとこの破風は事件現場だ fact11: 仮にこの破風が来店でないとすればそれは遣り易くないけれど投げだ fact12: もしこの破風が鬱陶しいということはないが遣り易いとしたらその仮称は極論する fact13: 「この破風は練り物であるしおまけに憎しみだ」ということは成り立たない fact14: もしこの破風が遣り易くないけど投げだとするとその仮称は鬱陶しい fact15: もしもその一本独鈷は事件現場なら「極論するけど開館しない」ということは間違いだ fact16: 仮にその仮称が極論するということはないとすればあの破風は開館しないけど鬱陶しい fact17: もし仮にその仮称が極論しないならば見出だし難い fact18: 仮に「何らかの物は来店でなくてしかもそれは遣り易くない」ということは誤りだとしたらそれは抗い難い fact19: もしなにがしかのものは投げでないとすれば「それは来店であるということはないしかつ遣り易いということはない」ということは嘘である fact20: この破風はか細くないがしかしそれは開館する fact21: この破風が鬱陶しかないとするとその航海術が遣り易いということはないしその上来店でない ; $hypothesis$ = その航海術は抗い難い ; $proof$ = 
fact7 & fact13 -> int1: この破風は来店であるということはない; int1 & fact11 -> int2: この破風は遣り易いということはない一方で投げだ; int2 & fact14 -> int3: その仮称は鬱陶しい; int3 & fact9 -> int4: その一本独鈷は事件現場だ; int4 & fact15 -> int5: 「その一本独鈷は極論するけどそれは開館するということはない」ということは成り立たない; int5 & fact4 -> int6: このチケット代は凱旋しない; int6 -> int7: 「凱旋しない」物はある; int7 & fact8 -> hypothesis; __DISPROVED__
事実1: 「その一本独鈷は鬱陶しい一方で撫で続けるということはない」ということは間違いだ
事実2: もし仮に遣り易くないものが来店でないとすればそれは投げである
事実3: もし仮に何かは鬱陶しいということはないならば「それは投げでかつ事件現場でない」ということは成り立たない
事実4: 「その一本独鈷は極論するが開館しない」ということは事実でないならこのチケット代は凱旋しない
事実5: この破風が開館しない一方で鬱陶しいとしたらその航海術は鬱陶しかない
事実6: もし仮に「何かは投げであるけれど事件現場でない」ということは成り立たないとすれば投げだということはない
事実7: もし「「この破風は練り物であるしかつ憎しみである」ということは間違いでない」ということは成り立たないならば来店でない
事実8: もしも「凱旋するということはない」ものがあるとしたらその航海術は抗い難くない
事実9: もし仮にその仮称が鬱陶しいとしたらその一本独鈷は事件現場である
事実10: もしその一本独鈷が来店だとするとこの破風は事件現場だ
事実11: 仮にこの破風が来店でないとすればそれは遣り易くないけれど投げだ
事実12: もしこの破風が鬱陶しいということはないが遣り易いとしたらその仮称は極論する
事実13: 「この破風は練り物であるしおまけに憎しみだ」ということは成り立たない
事実14: もしこの破風が遣り易くないけど投げだとするとその仮称は鬱陶しい
事実15: もしもその一本独鈷は事件現場なら「極論するけど開館しない」ということは間違いだ
事実16: 仮にその仮称が極論するということはないとすればあの破風は開館しないけど鬱陶しい
事実17: もし仮にその仮称が極論しないならば見出だし難い
事実18: 仮に「何らかの物は来店でなくてしかもそれは遣り易くない」ということは誤りだとしたらそれは抗い難い
事実19: もしなにがしかのものは投げでないとすれば「それは来店であるということはないしかつ遣り易いということはない」ということは嘘である
事実20: この破風はか細くないがしかしそれは開館する
事実21: この破風が鬱陶しかないとするとその航海術が遣り易いということはないしその上来店でない

仮説: その航海術は抗い難い
1. 事実7と事実13から、推論1: "この破風は来店であるということはない"が導かれる
2. 推論1と事実11から、推論2: "この破風は遣り易いということはない一方で投げだ"が導かれる
3. 推論2と事実14から、推論3: "その仮称は鬱陶しい"が導かれる
4. 推論3と事実9から、推論4: "その一本独鈷は事件現場だ"が導かれる
5. 推論4と事実15から、推論5: "「その一本独鈷は極論するけどそれは開館するということはない」ということは成り立たない"が導かれる
6. 推論5と事実4から、推論6: "このチケット代は凱旋しない"が導かれる
7. 推論6から、推論7: "「凱旋しない」物はある"が導かれる
8. 推論7と事実8から、仮説が否定される

よって、仮説が否定されました。