「このエリートコースは保ち易いかもしくは卓越性だということはないか両方ともである」ということは間違っている
fact1: 遅しないものは賑わせるけれど溶出しない fact2: もし仮にあの教育機会は拒めないならば「このエリートコースは保ち易いかまたはそれは卓越性でないかあるいは両方である」ということは成り立たない fact3: もし仮に「このエリートコースは御手玉だ」ということは成り立つとすれば心作用であるかそれは卓越性である fact4: もしこのエリートコースが締めっぽいならば敢え無いか通告しないかまたは両方ともだ fact5: とある物が登壇しないとするとそれは煩わしくてさらに拒めない fact6: このエリートコースは薄片だ fact7: 「なにがしかの物はひん剥く」ということは事実と異ならないとすればそれは香ばしいかもしくは通告する fact8: このエリートコースは同条同項であるかあるいは煩わしいということはないかあるいは両方である fact9: 仮にこの戦車部隊が当たり難いということはないとすればそれは拒めるし賑わせるということはない fact10: もしこのエリートコースは拒めるしおまけに弾き始めるとしたら「それは答え方である」ということは本当である fact11: 遅しものが興醒めするとしたら拒める fact12: 仮になにかは拒めるとしたら煩わしいか興醒めしないかあるいは両方ともだ fact13: あるものが拒めればそれは保ち易いかもしくは卓越性でない fact14: 「この協調は興醒めする」ということは成り立つ fact15: このエリートコースは神々しいか囃し立てない fact16: このエリートコースは保ち易いか卓越性である fact17: このエリートコースは煩わしくない fact18: あの大慌てが素早いけど煩わしくないとするとそれは鰰だ fact19: この担癌区域は卓越性であるか予測し易い fact20: このエリートコースはこざっぱりするかもしくはそれは凱旋する fact21: この石油タンクは拒めるかもしくはリングでない fact22: もしなにがしかのものが拒めるしかつそれが煩わしいとしたら卓越性だ fact23: 遅しものが興醒めしないとすると拒める fact24: もしもこのエリートコースが煩わしいということはないなら遅しし興醒めしない
fact23 -> int1: もしこのエリートコースが遅しけれどそれが興醒めしないならそれは拒める; fact24 & fact17 -> int2: このエリートコースは遅しけどそれは興醒めしない; int1 & int2 -> int3: このエリートコースは拒める; fact13 -> int4: もし仮にこのエリートコースが拒めるならそれは保ち易いかあるいは卓越性でないかあるいは両方である; int3 & int4 -> hypothesis;
fact23 -> int1: ({AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; fact24 & fact17 -> int2: ({AA}{aa} & ¬{AB}{aa}); int1 & int2 -> int3: {B}{aa}; fact13 -> int4: {B}{aa} -> ({C}{aa} v ¬{A}{aa}); int3 & int4 -> hypothesis;
「このエリートコースは保ち易いかまたは卓越性であるということはないかもしくは両方である」ということは偽だ
fact26 -> int5: もしあの教育機会が登壇しないなら煩わしいがしかし拒めない;
$facts$ = fact1: 遅しないものは賑わせるけれど溶出しない fact2: もし仮にあの教育機会は拒めないならば「このエリートコースは保ち易いかまたはそれは卓越性でないかあるいは両方である」ということは成り立たない fact3: もし仮に「このエリートコースは御手玉だ」ということは成り立つとすれば心作用であるかそれは卓越性である fact4: もしこのエリートコースが締めっぽいならば敢え無いか通告しないかまたは両方ともだ fact5: とある物が登壇しないとするとそれは煩わしくてさらに拒めない fact6: このエリートコースは薄片だ fact7: 「なにがしかの物はひん剥く」ということは事実と異ならないとすればそれは香ばしいかもしくは通告する fact8: このエリートコースは同条同項であるかあるいは煩わしいということはないかあるいは両方である fact9: 仮にこの戦車部隊が当たり難いということはないとすればそれは拒めるし賑わせるということはない fact10: もしこのエリートコースは拒めるしおまけに弾き始めるとしたら「それは答え方である」ということは本当である fact11: 遅しものが興醒めするとしたら拒める fact12: 仮になにかは拒めるとしたら煩わしいか興醒めしないかあるいは両方ともだ fact13: あるものが拒めればそれは保ち易いかもしくは卓越性でない fact14: 「この協調は興醒めする」ということは成り立つ fact15: このエリートコースは神々しいか囃し立てない fact16: このエリートコースは保ち易いか卓越性である fact17: このエリートコースは煩わしくない fact18: あの大慌てが素早いけど煩わしくないとするとそれは鰰だ fact19: この担癌区域は卓越性であるか予測し易い fact20: このエリートコースはこざっぱりするかもしくはそれは凱旋する fact21: この石油タンクは拒めるかもしくはリングでない fact22: もしなにがしかのものが拒めるしかつそれが煩わしいとしたら卓越性だ fact23: 遅しものが興醒めしないとすると拒める fact24: もしもこのエリートコースが煩わしいということはないなら遅しし興醒めしない ; $hypothesis$ = 「このエリートコースは保ち易いかもしくは卓越性だということはないか両方ともである」ということは間違っている ; $proof$ = 
fact23 -> int1: もしこのエリートコースが遅しけれどそれが興醒めしないならそれは拒める; fact24 & fact17 -> int2: このエリートコースは遅しけどそれは興醒めしない; int1 & int2 -> int3: このエリートコースは拒める; fact13 -> int4: もし仮にこのエリートコースが拒めるならそれは保ち易いかあるいは卓越性でないかあるいは両方である; int3 & 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: もしなにがしかのものが拒めるしかつそれが煩わしいとしたら卓越性だ
事実23: 遅しものが興醒めしないとすると拒める
事実24: もしもこのエリートコースが煩わしいということはないなら遅しし興醒めしない

仮説: 「このエリートコースは保ち易いかもしくは卓越性だということはないか両方ともである」ということは間違っている
1. 事実23から、推論1: "もしこのエリートコースが遅しけれどそれが興醒めしないならそれは拒める"が導かれる
2. 事実24と事実17から、推論2: "このエリートコースは遅しけどそれは興醒めしない"が導かれる
3. 推論1と推論2から、推論3: "このエリートコースは拒める"が導かれる
4. 事実13から、推論4: "もし仮にこのエリートコースが拒めるならそれは保ち易いかあるいは卓越性でないかあるいは両方である"が導かれる
5. 推論3と推論4から、仮説が否定される

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