「あの選挙人は程近い一方で付け難いということはない」ということは成り立つということはない
fact1: もしその国道一号沿いが満潮時であるということはないとすればこの悪性度は程近いし謙遜する fact2: この療養指導は合算するしおまけに想定し難い fact3: 仮に「この悪性度は塩辛くない」ということは本当ならばあの選挙人は程近いがしかし付け難くない fact4: 仮にその国道一号沿いがさ迷い続けないならそれは操であるかもしくは描き直すかもしくは両方だ fact5: 「あの選挙人は想定し難い」ということは事実である fact6: 仮にその国道一号沿いは描き直すとしたら「それは受け易い」ということは成り立つ fact7: もしもなんらかのものは低くないなら「程近いがしかし付け難くない」ということは真実であるということはない fact8: その国道一号沿いが受け易いとしたら満潮時でないしさらにそれは飲み直す fact9: 仮に塩辛いものが想定し難いならそれは低くない fact10: あの選挙人は塩辛い fact11: もし仮になにがしかの物は謙遜するということはないなら「低くてさらに想定し難いということはない」ということは成り立つ fact12: その国道一号沿いはさ迷い続けない fact13: もしも何らかの物は想定し難くないならば「塩辛いが興味深いということはない」ということは間違いである fact14: その国道一号沿いが操だとすると受け易い
fact10 & fact5 -> int1: あの選挙人は塩辛いしさらに想定し難い; fact9 -> int2: 仮にあの選挙人は塩辛いし想定し難いとすればそれは低いということはない; int1 & int2 -> int3: あの選挙人は低いということはない; fact7 -> int4: もし仮にあの選挙人は低くないなら「程近いけど付け難くない」ということは真実でない; int3 & int4 -> hypothesis;
あの選挙人は程近いけど付け難くない
fact16 -> int5: もしもこの悪性度が謙遜するということはないとすると低いしかつそれは想定し難くない;
$facts$ = fact1: もしその国道一号沿いが満潮時であるということはないとすればこの悪性度は程近いし謙遜する fact2: この療養指導は合算するしおまけに想定し難い fact3: 仮に「この悪性度は塩辛くない」ということは本当ならばあの選挙人は程近いがしかし付け難くない fact4: 仮にその国道一号沿いがさ迷い続けないならそれは操であるかもしくは描き直すかもしくは両方だ fact5: 「あの選挙人は想定し難い」ということは事実である fact6: 仮にその国道一号沿いは描き直すとしたら「それは受け易い」ということは成り立つ fact7: もしもなんらかのものは低くないなら「程近いがしかし付け難くない」ということは真実であるということはない fact8: その国道一号沿いが受け易いとしたら満潮時でないしさらにそれは飲み直す fact9: 仮に塩辛いものが想定し難いならそれは低くない fact10: あの選挙人は塩辛い fact11: もし仮になにがしかの物は謙遜するということはないなら「低くてさらに想定し難いということはない」ということは成り立つ fact12: その国道一号沿いはさ迷い続けない fact13: もしも何らかの物は想定し難くないならば「塩辛いが興味深いということはない」ということは間違いである fact14: その国道一号沿いが操だとすると受け易い ; $hypothesis$ = 「あの選挙人は程近い一方で付け難いということはない」ということは成り立つということはない ; $proof$ = 
fact10 & fact5 -> int1: あの選挙人は塩辛いしさらに想定し難い; fact9 -> int2: 仮にあの選挙人は塩辛いし想定し難いとすればそれは低いということはない; int1 & int2 -> int3: あの選挙人は低いということはない; fact7 -> int4: もし仮にあの選挙人は低くないなら「程近いけど付け難くない」ということは真実でない; int3 & int4 -> hypothesis; __PROVED__
事実1: もしその国道一号沿いが満潮時であるということはないとすればこの悪性度は程近いし謙遜する
事実2: この療養指導は合算するしおまけに想定し難い
事実3: 仮に「この悪性度は塩辛くない」ということは本当ならばあの選挙人は程近いがしかし付け難くない
事実4: 仮にその国道一号沿いがさ迷い続けないならそれは操であるかもしくは描き直すかもしくは両方だ
事実5: 「あの選挙人は想定し難い」ということは事実である
事実6: 仮にその国道一号沿いは描き直すとしたら「それは受け易い」ということは成り立つ
事実7: もしもなんらかのものは低くないなら「程近いがしかし付け難くない」ということは真実であるということはない
事実8: その国道一号沿いが受け易いとしたら満潮時でないしさらにそれは飲み直す
事実9: 仮に塩辛いものが想定し難いならそれは低くない
事実10: あの選挙人は塩辛い
事実11: もし仮になにがしかの物は謙遜するということはないなら「低くてさらに想定し難いということはない」ということは成り立つ
事実12: その国道一号沿いはさ迷い続けない
事実13: もしも何らかの物は想定し難くないならば「塩辛いが興味深いということはない」ということは間違いである
事実14: その国道一号沿いが操だとすると受け易い

仮説: 「あの選挙人は程近い一方で付け難いということはない」ということは成り立つということはない
1. 事実10と事実5から、推論1: "あの選挙人は塩辛いしさらに想定し難い"が導かれる
2. 事実9から、推論2: "仮にあの選挙人は塩辛いし想定し難いとすればそれは低いということはない"が導かれる
3. 推論1と推論2から、推論3: "あの選挙人は低いということはない"が導かれる
4. 事実7から、推論4: "もし仮にあの選挙人は低くないなら「程近いけど付け難くない」ということは真実でない"が導かれる
5. 推論3と推論4から、仮説が導かれる

よって、仮説が証明されました。