「あの両肩は与し易いかもしくは奨励する」ということは間違いだ
fact1: もしもあの少女が協議離婚だとするとそのＡＰＡＦは例外無い fact2: 「あの両肩は例外無くないかもしくは協議離婚であるかまたは両方ともである」ということは間違いであるならこの神出鬼没は例外無くない fact3: もしもあの両肩が広域化するとするとそれは奨励する fact4: この版は消化し難くないかまたはそれは引き難い fact5: もし仮にあの両肩は上積みしないとしたら「それは例外無いということはないかあるいは協議離婚であるかあるいは両方だ」ということは偽だ fact6: 例外無いものは広域化する fact7: 「あの両肩は濃い」ということは確かだ fact8: もしもあの進歩保守党が狭くないかそれは殺人課であるかまたは両方ともならばそれは広域化する fact9: もし仮にあの両肩は意味深くないか粗いかあるいは両方ともだとしたら広域化する fact10: あの両肩は意味深いということはないかもしくは粗いかどちらもである
fact9 & fact10 -> int1: あの両肩は広域化する; int1 & fact3 -> int2: あの両肩は奨励する; int2 -> hypothesis;
この神出鬼没は奨励する
$facts$ = fact1: もしもあの少女が協議離婚だとするとそのＡＰＡＦは例外無い fact2: 「あの両肩は例外無くないかもしくは協議離婚であるかまたは両方ともである」ということは間違いであるならこの神出鬼没は例外無くない fact3: もしもあの両肩が広域化するとするとそれは奨励する fact4: この版は消化し難くないかまたはそれは引き難い fact5: もし仮にあの両肩は上積みしないとしたら「それは例外無いということはないかあるいは協議離婚であるかあるいは両方だ」ということは偽だ fact6: 例外無いものは広域化する fact7: 「あの両肩は濃い」ということは確かだ fact8: もしもあの進歩保守党が狭くないかそれは殺人課であるかまたは両方ともならばそれは広域化する fact9: もし仮にあの両肩は意味深くないか粗いかあるいは両方ともだとしたら広域化する fact10: あの両肩は意味深いということはないかもしくは粗いかどちらもである ; $hypothesis$ = 「あの両肩は与し易いかもしくは奨励する」ということは間違いだ ; $proof$ = 
fact9 & fact10 -> int1: あの両肩は広域化する; int1 & fact3 -> int2: あの両肩は奨励する; int2 -> hypothesis; __DISPROVED__
事実1: もしもあの少女が協議離婚だとするとそのＡＰＡＦは例外無い
事実2: 「あの両肩は例外無くないかもしくは協議離婚であるかまたは両方ともである」ということは間違いであるならこの神出鬼没は例外無くない
事実3: もしもあの両肩が広域化するとするとそれは奨励する
事実4: この版は消化し難くないかまたはそれは引き難い
事実5: もし仮にあの両肩は上積みしないとしたら「それは例外無いということはないかあるいは協議離婚であるかあるいは両方だ」ということは偽だ
事実6: 例外無いものは広域化する
事実7: 「あの両肩は濃い」ということは確かだ
事実8: もしもあの進歩保守党が狭くないかそれは殺人課であるかまたは両方ともならばそれは広域化する
事実9: もし仮にあの両肩は意味深くないか粗いかあるいは両方ともだとしたら広域化する
事実10: あの両肩は意味深いということはないかもしくは粗いかどちらもである

仮説: 「あの両肩は与し易いかもしくは奨励する」ということは間違いだ
1. 事実9と事実10から、推論1: "あの両肩は広域化する"が導かれる
2. 推論1と事実3から、推論2: "あの両肩は奨励する"が導かれる
3. 推論2から、仮説が否定される

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