そのプロサーブは優良保証でない
fact1: 「この切れ間が弁解はましくらない」ということは成り立つなら「それは疲れ始めるしさらに燃え付かない」ということは正しくない fact2: もしもこの星城はんは託身するとすれば「あのＴＸは浅い」ということは事実だ fact3: 「持ち帰れない」ものはある fact4: そのプロサーブは迷信深くないけれど地球型だ fact5: もし何かは涼茶だとすると「それは迷信深いということはなくて重しない」ということは偽だ fact6: この切れ間が弁解はましくらない一方でそれは迷信深い fact7: もし仮に何かは弁解がましかないならば「疲れ始めないしそれに燃え付かない」ということは成り立たない fact8: もしもそのプロサーブは異所性気管気管支でないなら「弁解はましくらなくてしかも優良保証であるということはない」ということは真実でない fact9: もし「なにかは恋い焦がれないか記号化するかまたは両方ともである」ということは誤っているとしたらそれは涼茶だ fact10: 何らかの物が弁解はましくらないとしたら「優良保証でかつ異所性気管気管支でない」ということは嘘である fact11: 「この切れ間は異所性気管気管支でなくて加えてそれは迷信深くない」ということは成り立たない fact12: もし仮にこの新興市場は名状し難いなら「そのプロサーブは恋い焦がれないかそれは記号化するかもしくは両方ともである」ということは真実でない fact13: 何かは弁解がましいということはないとしたら「疲れ始めるということはないけど燃え付く」ということは成り立たない fact14: もしもなんらかの物が迷信深いならばそれは異所性気管気管支だ fact15: もし「なんらかの物は迷信深いということはない」ということは本当だとすると「それが燃え付かないしおまけに弁解はましくらない」ということは間違いである fact16: 男っぽい物は需要減である fact17: もしもあのＴＸが浅いならばあの新興市場は名状し難い fact18: もしもなにかは異所性気管気管支だとすれば「それは優良保証である」ということは本当である fact19: もし「なにかは持ち帰れない」ということは本当だとすればあの星城はんは託身するかあるいは烏滸がましいかあるいは両方ともである fact20: 「この切れ間は疲れ始めないならば「この切れ間は優良保証でないがしかし迷信深い」ということは嘘だ」ということは本当だ fact21: 仮に何かはわりなくないとしたら「それは猛々しくないしそれに地球型でない」ということは成り立たない fact22: 「この切れ間は疲れ始めるということはないし燃え付かない」ということは偽であるならそのプロサーブは異所性気管気管支だ fact23: 仮に「何らかのものは迷信深くないし重しない」ということは事実と異なるとすればそれは弁解がましかない
fact7 -> int1: もし仮に「この切れ間が弁解はましくらない」ということは間違いでないとすれば「疲れ始めないしそれに燃え付かない」ということは誤っている; fact6 -> int2: この切れ間は弁解がましかない; int1 & int2 -> int3: 「この切れ間は疲れ始めないしその上燃え付かない」ということは確かでない; int3 & fact22 -> int4: そのプロサーブは異所性気管気管支だ; fact18 -> int5: もし仮にそのプロサーブが異所性気管気管支ならばそれは優良保証だ; int4 & int5 -> hypothesis;
「そのプロサーブは優良保証でない」ということは本当である
fact31 -> int6: もしも「そのプロサーブは弁解がましいということはない」ということは成り立つなら「優良保証だししかもそれは異所性気管気管支でない」ということは正しくない; fact32 -> int7: 「そのプロサーブは迷信深くなくてまた重しない」ということは事実と異なるとすればそれは弁解がましかない; fact26 -> int8: もしもそのプロサーブは涼茶であるならば「それは迷信深くなくてそれは重しない」ということは成り立たない; fact28 -> int9: もし「「そのプロサーブは恋い焦がれるということはないかあるいは記号化するか両方である」ということは確かでない」ということは間違っていないとすると涼茶だ; fact30 & fact27 -> int10: この星城はんは託身するかそれは烏滸がましい;
$facts$ = fact1: 「この切れ間が弁解はましくらない」ということは成り立つなら「それは疲れ始めるしさらに燃え付かない」ということは正しくない fact2: もしもこの星城はんは託身するとすれば「あのＴＸは浅い」ということは事実だ fact3: 「持ち帰れない」ものはある fact4: そのプロサーブは迷信深くないけれど地球型だ fact5: もし何かは涼茶だとすると「それは迷信深いということはなくて重しない」ということは偽だ fact6: この切れ間が弁解はましくらない一方でそれは迷信深い fact7: もし仮に何かは弁解がましかないならば「疲れ始めないしそれに燃え付かない」ということは成り立たない fact8: もしもそのプロサーブは異所性気管気管支でないなら「弁解はましくらなくてしかも優良保証であるということはない」ということは真実でない fact9: もし「なにかは恋い焦がれないか記号化するかまたは両方ともである」ということは誤っているとしたらそれは涼茶だ fact10: 何らかの物が弁解はましくらないとしたら「優良保証でかつ異所性気管気管支でない」ということは嘘である fact11: 「この切れ間は異所性気管気管支でなくて加えてそれは迷信深くない」ということは成り立たない fact12: もし仮にこの新興市場は名状し難いなら「そのプロサーブは恋い焦がれないかそれは記号化するかもしくは両方ともである」ということは真実でない fact13: 何かは弁解がましいということはないとしたら「疲れ始めるということはないけど燃え付く」ということは成り立たない fact14: もしもなんらかの物が迷信深いならばそれは異所性気管気管支だ fact15: もし「なんらかの物は迷信深いということはない」ということは本当だとすると「それが燃え付かないしおまけに弁解はましくらない」ということは間違いである fact16: 男っぽい物は需要減である fact17: もしもあのＴＸが浅いならばあの新興市場は名状し難い fact18: もしもなにかは異所性気管気管支だとすれば「それは優良保証である」ということは本当である fact19: もし「なにかは持ち帰れない」ということは本当だとすればあの星城はんは託身するかあるいは烏滸がましいかあるいは両方ともである fact20: 「この切れ間は疲れ始めないならば「この切れ間は優良保証でないがしかし迷信深い」ということは嘘だ」ということは本当だ fact21: 仮に何かはわりなくないとしたら「それは猛々しくないしそれに地球型でない」ということは成り立たない fact22: 「この切れ間は疲れ始めるということはないし燃え付かない」ということは偽であるならそのプロサーブは異所性気管気管支だ fact23: 仮に「何らかのものは迷信深くないし重しない」ということは事実と異なるとすればそれは弁解がましかない ; $hypothesis$ = そのプロサーブは優良保証でない ; $proof$ = 
fact7 -> int1: もし仮に「この切れ間が弁解はましくらない」ということは間違いでないとすれば「疲れ始めないしそれに燃え付かない」ということは誤っている; fact6 -> int2: この切れ間は弁解がましかない; int1 & int2 -> int3: 「この切れ間は疲れ始めないしその上燃え付かない」ということは確かでない; int3 & fact22 -> int4: そのプロサーブは異所性気管気管支だ; fact18 -> int5: もし仮にそのプロサーブが異所性気管気管支ならばそれは優良保証だ; int4 & int5 -> hypothesis; __DISPROVED__
事実1: 「この切れ間が弁解はましくらない」ということは成り立つなら「それは疲れ始めるしさらに燃え付かない」ということは正しくない
事実2: もしもこの星城はんは託身するとすれば「あのＴＸは浅い」ということは事実だ
事実3: 「持ち帰れない」ものはある
事実4: そのプロサーブは迷信深くないけれど地球型だ
事実5: もし何かは涼茶だとすると「それは迷信深いということはなくて重しない」ということは偽だ
事実6: この切れ間が弁解はましくらない一方でそれは迷信深い
事実7: もし仮に何かは弁解がましかないならば「疲れ始めないしそれに燃え付かない」ということは成り立たない
事実8: もしもそのプロサーブは異所性気管気管支でないなら「弁解はましくらなくてしかも優良保証であるということはない」ということは真実でない
事実9: もし「なにかは恋い焦がれないか記号化するかまたは両方ともである」ということは誤っているとしたらそれは涼茶だ
事実10: 何らかの物が弁解はましくらないとしたら「優良保証でかつ異所性気管気管支でない」ということは嘘である
事実11: 「この切れ間は異所性気管気管支でなくて加えてそれは迷信深くない」ということは成り立たない
事実12: もし仮にこの新興市場は名状し難いなら「そのプロサーブは恋い焦がれないかそれは記号化するかもしくは両方ともである」ということは真実でない
事実13: 何かは弁解がましいということはないとしたら「疲れ始めるということはないけど燃え付く」ということは成り立たない
事実14: もしもなんらかの物が迷信深いならばそれは異所性気管気管支だ
事実15: もし「なんらかの物は迷信深いということはない」ということは本当だとすると「それが燃え付かないしおまけに弁解はましくらない」ということは間違いである
事実16: 男っぽい物は需要減である
事実17: もしもあのＴＸが浅いならばあの新興市場は名状し難い
事実18: もしもなにかは異所性気管気管支だとすれば「それは優良保証である」ということは本当である
事実19: もし「なにかは持ち帰れない」ということは本当だとすればあの星城はんは託身するかあるいは烏滸がましいかあるいは両方ともである
事実20: 「この切れ間は疲れ始めないならば「この切れ間は優良保証でないがしかし迷信深い」ということは嘘だ」ということは本当だ
事実21: 仮に何かはわりなくないとしたら「それは猛々しくないしそれに地球型でない」ということは成り立たない
事実22: 「この切れ間は疲れ始めるということはないし燃え付かない」ということは偽であるならそのプロサーブは異所性気管気管支だ
事実23: 仮に「何らかのものは迷信深くないし重しない」ということは事実と異なるとすればそれは弁解がましかない

仮説: そのプロサーブは優良保証でない
1. 事実7から、推論1: "もし仮に「この切れ間が弁解はましくらない」ということは間違いでないとすれば「疲れ始めないしそれに燃え付かない」ということは誤っている"が導かれる
2. 事実6から、推論2: "この切れ間は弁解がましかない"が導かれる
3. 推論1と推論2から、推論3: "「この切れ間は疲れ始めないしその上燃え付かない」ということは確かでない"が導かれる
4. 推論3と事実22から、推論4: "そのプロサーブは異所性気管気管支だ"が導かれる
5. 事実18から、推論5: "もし仮にそのプロサーブが異所性気管気管支ならばそれは優良保証だ"が導かれる
6. 推論4と推論5から、仮説が否定される

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