あの上界はされ易いということはない
fact1: 仮にとあるものが質問するということはないしさらに選べないとするとされ易い fact2: もしもあのフィルタが質問するとすればあの上界は質問しなくてそれは歩き辛いということはない fact3: もし仮にあのフィルタがされ易くないけどそれは選べるとすると「それは応じる」ということは事実である fact4: あの上界は応じないし更に質問するということはない fact5: もし仮に「あるものは選べない」ということは嘘でないとしたら歩き辛くなくてそれに割り入れない fact6: あのフィルタが子供っぽくないかもしくは遠くないかもしくは両方であるとすると「それは子供っぽいということはない」ということは本当だ fact7: この養いは早しないしおまけに国政上でない fact8: もし仮に「あのフィルタは歩き辛い」ということは真実であるならあの上界は歩き辛くないしまたそれはされ易くない fact9: 仮になんらかの物は太り易いならば「それは質問するしさらにそれはされ易くない」ということは成り立たない fact10: もし仮になんらかの物は太り易いということはないとすると「質問しないかまたはそれは選べない」ということは間違いである fact11: 仮になんらかの物は子供っぽくないなら「「それは行われ易いなくてそれは孤独死である」ということは成り立つ」ということは成り立たない fact12: この養いが質問するならばあの上界は質問しないし選べない fact13: 仮にあのフィルタが歩き辛くない一方でそれが応じるとすればこの養いは質問する fact14: あのフィルタは歩き辛くないけど応じる fact15: あのＭＩＤは包囲攻撃しないが質問する fact16: 仮に「何らかの物は行われ易いということはないが孤独死である」ということは成り立たないとすれば太り易くない fact17: もしもこの養いが太り易くないし更に孤独死でないとしたらあのフィルタは太り易い fact18: 行われ易いものは太り易いということはないしさらに孤独死でない fact19: あの研究心は選べる fact20: あらゆるものは子供っぽくないかもしくはそれは遠くないかまたは両方である fact21: 仮にあの上界が選べるしまたそれが応じるとすればあのフィルタはされ易い fact22: この養いは選べる
fact13 & fact14 -> int1: この養いは質問する; int1 & fact12 -> int2: あの上界は質問しなくて加えて選べるということはない; fact1 -> int3: もしあの上界が質問しなくてそれが選べないならばされ易い; int2 & int3 -> hypothesis;
fact13 & fact14 -> int1: {B}{b}; int1 & fact12 -> int2: (¬{B}{c} & ¬{A}{c}); fact1 -> int3: (¬{B}{c} & ¬{A}{c}) -> {C}{c}; int2 & int3 -> hypothesis;
あのフィルタは歩き辛くなくて加えて割り入れない
fact24 -> int4: 仮にあのフィルタが選べないとすれば歩き辛くなくて更に割り入れない; fact25 -> int5: 「あのフィルタは太り易いなら「あのフィルタは質問するけれどされ易いない」ということは正しくない」ということは本当である; fact26 -> int6: もし仮にこの養いが行われ易いとしたらそれは太り易くないし孤独死でない;
$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$ = 
fact13 & fact14 -> int1: この養いは質問する; int1 & fact12 -> int2: あの上界は質問しなくて加えて選べるということはない; fact1 -> int3: もしあの上界が質問しなくてそれが選べないならばされ易い; int2 & int3 -> 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. 事実13と事実14から、推論1: "この養いは質問する"が導かれる
2. 推論1と事実12から、推論2: "あの上界は質問しなくて加えて選べるということはない"が導かれる
3. 事実1から、推論3: "もしあの上界が質問しなくてそれが選べないならばされ易い"が導かれる
4. 推論2と推論3から、仮説が否定される

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