「あの季節変動は渡り合えない一方で比較し難い」ということは成り立たない
fact1: もし何らかのものは親族等ならば「それは渡り合えないし比較し難い」ということは成り立たない fact2: 仮に「当たり易いということはないかまたは親族等でないかまたは両方ともな」ものがあるとすればあの反戦歌は漫画本だ fact3: もしなにかは欠落しないならば「それは遣り辛くない」ということは本当だ fact4: 何かは収容しないか御詳しくないかもしくは両方である fact5: なにかは論考しないかもしくは親族等でないかどちらもであるとするとあの季節変動は比較し難い fact6: もしもあの季節変動が走り易くないとすれば純化するしその上それは本問題だ fact7: 「「論考しない」ということは事実な」ものがあればあの反戦歌は渡り合える fact8: 「とあるものは当たり易いがそれは漫画本でない」ということは間違っているとしたら「それは渡り合えない」ということは正しい fact9: 「あの反戦歌は恐ろしくないが落ち難い」ということは成り立つ fact10: その排水路は漫画本である fact11: あの反戦歌は論考しないかもしくは親族等でないかまたは両方である fact12: もしも本問題は論考しないとすれば「親族等だ」ということは正しい fact13: 何かは溶け切らないかまたは細長くないかまたは両方だ fact14: 「あの季節変動は当たり易いけど漫画本でない」ということは成り立たない fact15: 「あの季節変動が漫画本だけどそれは論考しない」ということは真実でない fact16: あの季節変動は漫画本であるかあるいは論考しない fact17: もしあの季節変動が細長くないとすると論考しないけれど地域地区だ fact18: 詮無いか細長くない物はある fact19: 「何らかの物は手堅いということはないかあるいはそれは入隊しないかどちらもである」ということは成り立つ fact20: もしも「あの季節変動は人数であるし加えて走り易い」ということは成り立たないなら走り易いということはない fact21: 御し易くないかまたは例外無くないかまたは両方ともな物はある fact22: 「あの季節変動は人数でそれにそれは走り易い」ということは成り立たない
fact8 -> int1: もし「あの季節変動は当たり易いがそれは漫画本でない」ということは成り立たないなら「渡り合えない」ということは正しい; int1 & fact14 -> int2: あの季節変動は渡り合えない; fact11 -> int3: 「論考しないかもしくは親族等でないかもしくは両方ともである」物はある; int3 & fact5 -> int4: 「あの季節変動は比較し難い」ということは正しい; int2 & int4 -> hypothesis;
fact8 -> int1: ¬({AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int1 & fact14 -> int2: ¬{B}{aa}; fact11 -> int3: (Ex): (¬{D}x v ¬{C}x); int3 & fact5 -> int4: {A}{aa}; int2 & int4 -> hypothesis;
「あの季節変動は渡り合えないけれどそれは比較し難い」ということは事実と異なる
fact27 -> int5: もし仮に「あの季節変動は親族等でない」ということは成り立たないなら「渡り合えなくてまた比較し難い」ということは確かでない; fact25 -> int6: もし仮にあの季節変動が本問題である一方で論考しないならそれは親族等である; fact23 & fact26 -> int7: あの季節変動は走り易くない; fact24 & int7 -> int8: あの季節変動は純化するし本問題だ; int8 -> int9: あの季節変動は本問題だ;
$facts$ = fact1: もし何らかのものは親族等ならば「それは渡り合えないし比較し難い」ということは成り立たない fact2: 仮に「当たり易いということはないかまたは親族等でないかまたは両方ともな」ものがあるとすればあの反戦歌は漫画本だ fact3: もしなにかは欠落しないならば「それは遣り辛くない」ということは本当だ fact4: 何かは収容しないか御詳しくないかもしくは両方である fact5: なにかは論考しないかもしくは親族等でないかどちらもであるとするとあの季節変動は比較し難い fact6: もしもあの季節変動が走り易くないとすれば純化するしその上それは本問題だ fact7: 「「論考しない」ということは事実な」ものがあればあの反戦歌は渡り合える fact8: 「とあるものは当たり易いがそれは漫画本でない」ということは間違っているとしたら「それは渡り合えない」ということは正しい fact9: 「あの反戦歌は恐ろしくないが落ち難い」ということは成り立つ fact10: その排水路は漫画本である fact11: あの反戦歌は論考しないかもしくは親族等でないかまたは両方である fact12: もしも本問題は論考しないとすれば「親族等だ」ということは正しい fact13: 何かは溶け切らないかまたは細長くないかまたは両方だ fact14: 「あの季節変動は当たり易いけど漫画本でない」ということは成り立たない fact15: 「あの季節変動が漫画本だけどそれは論考しない」ということは真実でない fact16: あの季節変動は漫画本であるかあるいは論考しない fact17: もしあの季節変動が細長くないとすると論考しないけれど地域地区だ fact18: 詮無いか細長くない物はある fact19: 「何らかの物は手堅いということはないかあるいはそれは入隊しないかどちらもである」ということは成り立つ fact20: もしも「あの季節変動は人数であるし加えて走り易い」ということは成り立たないなら走り易いということはない fact21: 御し易くないかまたは例外無くないかまたは両方ともな物はある fact22: 「あの季節変動は人数でそれにそれは走り易い」ということは成り立たない ; $hypothesis$ = 「あの季節変動は渡り合えない一方で比較し難い」ということは成り立たない ; $proof$ = 
fact8 -> int1: もし「あの季節変動は当たり易いがそれは漫画本でない」ということは成り立たないなら「渡り合えない」ということは正しい; int1 & fact14 -> int2: あの季節変動は渡り合えない; fact11 -> int3: 「論考しないかもしくは親族等でないかもしくは両方ともである」物はある; int3 & fact5 -> int4: 「あの季節変動は比較し難い」ということは正しい; int2 & int4 -> hypothesis; __DISPROVED__
事実1: もし何らかのものは親族等ならば「それは渡り合えないし比較し難い」ということは成り立たない
事実2: 仮に「当たり易いということはないかまたは親族等でないかまたは両方ともな」ものがあるとすればあの反戦歌は漫画本だ
事実3: もしなにかは欠落しないならば「それは遣り辛くない」ということは本当だ
事実4: 何かは収容しないか御詳しくないかもしくは両方である
事実5: なにかは論考しないかもしくは親族等でないかどちらもであるとするとあの季節変動は比較し難い
事実6: もしもあの季節変動が走り易くないとすれば純化するしその上それは本問題だ
事実7: 「「論考しない」ということは事実な」ものがあればあの反戦歌は渡り合える
事実8: 「とあるものは当たり易いがそれは漫画本でない」ということは間違っているとしたら「それは渡り合えない」ということは正しい
事実9: 「あの反戦歌は恐ろしくないが落ち難い」ということは成り立つ
事実10: その排水路は漫画本である
事実11: あの反戦歌は論考しないかもしくは親族等でないかまたは両方である
事実12: もしも本問題は論考しないとすれば「親族等だ」ということは正しい
事実13: 何かは溶け切らないかまたは細長くないかまたは両方だ
事実14: 「あの季節変動は当たり易いけど漫画本でない」ということは成り立たない
事実15: 「あの季節変動が漫画本だけどそれは論考しない」ということは真実でない
事実16: あの季節変動は漫画本であるかあるいは論考しない
事実17: もしあの季節変動が細長くないとすると論考しないけれど地域地区だ
事実18: 詮無いか細長くない物はある
事実19: 「何らかの物は手堅いということはないかあるいはそれは入隊しないかどちらもである」ということは成り立つ
事実20: もしも「あの季節変動は人数であるし加えて走り易い」ということは成り立たないなら走り易いということはない
事実21: 御し易くないかまたは例外無くないかまたは両方ともな物はある
事実22: 「あの季節変動は人数でそれにそれは走り易い」ということは成り立たない

仮説: 「あの季節変動は渡り合えない一方で比較し難い」ということは成り立たない
1. 事実8から、推論1: "もし「あの季節変動は当たり易いがそれは漫画本でない」ということは成り立たないなら「渡り合えない」ということは正しい"が導かれる
2. 推論1と事実14から、推論2: "あの季節変動は渡り合えない"が導かれる
3. 事実11から、推論3: "「論考しないかもしくは親族等でないかもしくは両方ともである」物はある"が導かれる
4. 推論3と事実5から、推論4: "「あの季節変動は比較し難い」ということは正しい"が導かれる
5. 推論2と推論4から、仮説が否定される

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