この対応方策は人跡未踏だけれど行儀良くない
fact1: あの迎え方はリフレッシュする fact2: 仮になんらかの物がリフレッシュしないしさらにそれは形成し始めないとすればそれは心無いということはない fact3: このＭＳ‐ＤＯＳ画面はＦＣＥＶである fact4: この各集団が頂部でないとすると分節しなくて想定し難い fact5: この対応方策はリフレッシュする fact6: 仮に何らかのものが心無くないならば人跡未踏でそれは行儀良くない fact7: もしもあの文机が卑しならばあの各集団は頂部でない fact8: 「この対応方策は人跡未踏だししかもそれは行儀良い」ということは成り立つということはない fact9: この対応方策がリフレッシュするとすれば心無い fact10: 「仮に「ＦＣＥＶな」物があるならあの文机は卑しかあるいは頂部である」ということは本当である fact11: もしもなにかは心無いとすると「それは人跡未踏だ一方で行儀良くない」ということは誤っている
fact11 -> int1: もしこの対応方策は心無いとすると「人跡未踏であるけれど行儀良くない」ということは間違っている; fact5 & fact9 -> int2: この対応方策は心無い; int1 & int2 -> hypothesis;
fact11 -> int1: {A}{aa} -> ¬({AA}{aa} & ¬{AB}{aa}); fact5 & fact9 -> int2: {A}{aa}; int1 & int2 -> hypothesis;
この対応方策は人跡未踏だがしかし行儀良くない
fact12 -> int3: 仮にこの対応方策が心無くないとすればそれは人跡未踏だしそれは行儀良くない; fact15 -> int4: もし仮にこの対応方策がリフレッシュしなくてその上形成し始めないとすれば心無くない; fact13 -> int5: なにがしかの物はＦＣＥＶだ; int5 & fact14 -> int6: あの文机は卑しかもしくは頂部であるかもしくは両方ともだ;
$facts$ = fact1: あの迎え方はリフレッシュする fact2: 仮になんらかの物がリフレッシュしないしさらにそれは形成し始めないとすればそれは心無いということはない fact3: このＭＳ‐ＤＯＳ画面はＦＣＥＶである fact4: この各集団が頂部でないとすると分節しなくて想定し難い fact5: この対応方策はリフレッシュする fact6: 仮に何らかのものが心無くないならば人跡未踏でそれは行儀良くない fact7: もしもあの文机が卑しならばあの各集団は頂部でない fact8: 「この対応方策は人跡未踏だししかもそれは行儀良い」ということは成り立つということはない fact9: この対応方策がリフレッシュするとすれば心無い fact10: 「仮に「ＦＣＥＶな」物があるならあの文机は卑しかあるいは頂部である」ということは本当である fact11: もしもなにかは心無いとすると「それは人跡未踏だ一方で行儀良くない」ということは誤っている ; $hypothesis$ = この対応方策は人跡未踏だけれど行儀良くない ; $proof$ = 
fact11 -> int1: もしこの対応方策は心無いとすると「人跡未踏であるけれど行儀良くない」ということは間違っている; fact5 & fact9 -> int2: この対応方策は心無い; int1 & int2 -> hypothesis; __DISPROVED__
事実1: あの迎え方はリフレッシュする
事実2: 仮になんらかの物がリフレッシュしないしさらにそれは形成し始めないとすればそれは心無いということはない
事実3: このＭＳ‐ＤＯＳ画面はＦＣＥＶである
事実4: この各集団が頂部でないとすると分節しなくて想定し難い
事実5: この対応方策はリフレッシュする
事実6: 仮に何らかのものが心無くないならば人跡未踏でそれは行儀良くない
事実7: もしもあの文机が卑しならばあの各集団は頂部でない
事実8: 「この対応方策は人跡未踏だししかもそれは行儀良い」ということは成り立つということはない
事実9: この対応方策がリフレッシュするとすれば心無い
事実10: 「仮に「ＦＣＥＶな」物があるならあの文机は卑しかあるいは頂部である」ということは本当である
事実11: もしもなにかは心無いとすると「それは人跡未踏だ一方で行儀良くない」ということは誤っている

仮説: この対応方策は人跡未踏だけれど行儀良くない
1. 事実11から、推論1: "もしこの対応方策は心無いとすると「人跡未踏であるけれど行儀良くない」ということは間違っている"が導かれる
2. 事実5と事実9から、推論2: "この対応方策は心無い"が導かれる
3. 推論1と推論2から、仮説が否定される

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