「「絶え入らないか塗り易い」ものはある」ということは間違いである
fact1: もし「あの千七百六十年代は図太い」ということは成り立つとしたらそれは絶え入るかまたは塗り易い fact2: あの千七百六十年代はブルーボーイでない fact3: 仮に「あの千七百六十年代はブルーボーイである」ということは事実と異なるとすると図太い fact4: 八千万人はブルーボーイでなくて図太くない fact5: もしある物はブルーボーイでないしさらに図太いということはないならそれは由々しくない fact6: もし仮にあのギブＮが八千万人であるならばあの極限状況は八千万人だ fact7: この出征兵士は図太くない fact8: 図太いものは絶え入るということはないかまたは塗り易いかあるいはどちらもだ
fact8 -> int1: 仮にあの千七百六十年代が図太いとすれば絶え入るということはないかもしくは塗り易い; fact2 & fact3 -> int2: あの千七百六十年代は図太い; int1 & int2 -> int3: あの千七百六十年代は絶え入らないかあるいはそれは塗り易い; int3 -> hypothesis;
その極限状況は由々しくないかもしくは付着し易いかまたはどちらもである
fact10 -> int4: その極限状況がブルーボーイでないし更に図太くないならばそれは由々しくない; fact11 -> int5: 仮にその極限状況が八千万人だとするとブルーボーイでなくてそれは図太くない;
$facts$ = fact1: もし「あの千七百六十年代は図太い」ということは成り立つとしたらそれは絶え入るかまたは塗り易い fact2: あの千七百六十年代はブルーボーイでない fact3: 仮に「あの千七百六十年代はブルーボーイである」ということは事実と異なるとすると図太い fact4: 八千万人はブルーボーイでなくて図太くない fact5: もしある物はブルーボーイでないしさらに図太いということはないならそれは由々しくない fact6: もし仮にあのギブＮが八千万人であるならばあの極限状況は八千万人だ fact7: この出征兵士は図太くない fact8: 図太いものは絶え入るということはないかまたは塗り易いかあるいはどちらもだ ; $hypothesis$ = 「「絶え入らないか塗り易い」ものはある」ということは間違いである ; $proof$ = 
fact8 -> int1: 仮にあの千七百六十年代が図太いとすれば絶え入るということはないかもしくは塗り易い; fact2 & fact3 -> int2: あの千七百六十年代は図太い; int1 & int2 -> int3: あの千七百六十年代は絶え入らないかあるいはそれは塗り易い; int3 -> hypothesis; __DISPROVED__
事実1: もし「あの千七百六十年代は図太い」ということは成り立つとしたらそれは絶え入るかまたは塗り易い
事実2: あの千七百六十年代はブルーボーイでない
事実3: 仮に「あの千七百六十年代はブルーボーイである」ということは事実と異なるとすると図太い
事実4: 八千万人はブルーボーイでなくて図太くない
事実5: もしある物はブルーボーイでないしさらに図太いということはないならそれは由々しくない
事実6: もし仮にあのギブＮが八千万人であるならばあの極限状況は八千万人だ
事実7: この出征兵士は図太くない
事実8: 図太いものは絶え入るということはないかまたは塗り易いかあるいはどちらもだ

仮説: 「「絶え入らないか塗り易い」ものはある」ということは間違いである
1. 事実8から、推論1: "仮にあの千七百六十年代が図太いとすれば絶え入るということはないかもしくは塗り易い"が導かれる
2. 事実2と事実3から、推論2: "あの千七百六十年代は図太い"が導かれる
3. 推論1と推論2から、推論3: "あの千七百六十年代は絶え入らないかあるいはそれは塗り易い"が導かれる
4. 推論3から、仮説が否定される

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