あの各新聞社は確かめない
fact1: 仮に「あの各新聞社は太り易いけど調整過程でない」ということは嘘であるとしたら御持ちに成る fact2: 「その勝手口は鑑賞し易くない」ということは正しいとすると太り易くない fact3: その勝手口は太り易くないとすれば「あの各新聞社は太り易いけど調整過程でない」ということは事実と異なる fact4: もし「とある物は鑑賞し易いがしかし仮装しない」ということは成り立たないとしたらそれは太り易いということはない fact5: 「仮装する」物はある fact6: 「仮装する」ものはあるとすると「その勝手口は鑑賞し易いが仮装しない」ということは間違っている fact7: 仮にあの各新聞社が御持ちに成るとすると確かめる fact8: もしそのＵＳＰは御持ちに成るとすると「あの各新聞社は確かめない」ということは成り立つ fact9: 何らかのものが再建出来るなら調整過程であるということはない
fact4 -> int1: 「その勝手口は鑑賞し易いがしかし仮装するということはない」ということは成り立たないとすると「太り易くない」ということは真実だ; fact5 & fact6 -> int2: 「その勝手口は鑑賞し易いがしかし仮装しない」ということは事実でない; int1 & int2 -> int3: 「その勝手口は太り易くない」ということは事実である; int3 & fact3 -> int4: 「あの各新聞社は太り易いがしかし調整過程でない」ということは間違いである; int4 & fact1 -> int5: あの各新聞社は御持ちに成る; int5 & fact7 -> hypothesis;
あの各新聞社は確かめるということはない
fact11 -> int6: もしそのＵＳＰが再建出来れば調整過程でない;
$facts$ = fact1: 仮に「あの各新聞社は太り易いけど調整過程でない」ということは嘘であるとしたら御持ちに成る fact2: 「その勝手口は鑑賞し易くない」ということは正しいとすると太り易くない fact3: その勝手口は太り易くないとすれば「あの各新聞社は太り易いけど調整過程でない」ということは事実と異なる fact4: もし「とある物は鑑賞し易いがしかし仮装しない」ということは成り立たないとしたらそれは太り易いということはない fact5: 「仮装する」物はある fact6: 「仮装する」ものはあるとすると「その勝手口は鑑賞し易いが仮装しない」ということは間違っている fact7: 仮にあの各新聞社が御持ちに成るとすると確かめる fact8: もしそのＵＳＰは御持ちに成るとすると「あの各新聞社は確かめない」ということは成り立つ fact9: 何らかのものが再建出来るなら調整過程であるということはない ; $hypothesis$ = あの各新聞社は確かめない ; $proof$ = 
fact4 -> int1: 「その勝手口は鑑賞し易いがしかし仮装するということはない」ということは成り立たないとすると「太り易くない」ということは真実だ; fact5 & fact6 -> int2: 「その勝手口は鑑賞し易いがしかし仮装しない」ということは事実でない; int1 & int2 -> int3: 「その勝手口は太り易くない」ということは事実である; int3 & fact3 -> int4: 「あの各新聞社は太り易いがしかし調整過程でない」ということは間違いである; int4 & fact1 -> int5: あの各新聞社は御持ちに成る; int5 & fact7 -> hypothesis; __DISPROVED__
事実1: 仮に「あの各新聞社は太り易いけど調整過程でない」ということは嘘であるとしたら御持ちに成る
事実2: 「その勝手口は鑑賞し易くない」ということは正しいとすると太り易くない
事実3: その勝手口は太り易くないとすれば「あの各新聞社は太り易いけど調整過程でない」ということは事実と異なる
事実4: もし「とある物は鑑賞し易いがしかし仮装しない」ということは成り立たないとしたらそれは太り易いということはない
事実5: 「仮装する」物はある
事実6: 「仮装する」ものはあるとすると「その勝手口は鑑賞し易いが仮装しない」ということは間違っている
事実7: 仮にあの各新聞社が御持ちに成るとすると確かめる
事実8: もしそのＵＳＰは御持ちに成るとすると「あの各新聞社は確かめない」ということは成り立つ
事実9: 何らかのものが再建出来るなら調整過程であるということはない

仮説: あの各新聞社は確かめない
1. 事実4から、推論1: "「その勝手口は鑑賞し易いがしかし仮装するということはない」ということは成り立たないとすると「太り易くない」ということは真実だ"が導かれる
2. 事実5と事実6から、推論2: "「その勝手口は鑑賞し易いがしかし仮装しない」ということは事実でない"が導かれる
3. 推論1と推論2から、推論3: "「その勝手口は太り易くない」ということは事実である"が導かれる
4. 推論3と事実3から、推論4: "「あの各新聞社は太り易いがしかし調整過程でない」ということは間違いである"が導かれる
5. 推論4と事実1から、推論5: "あの各新聞社は御持ちに成る"が導かれる
6. 推論5と事実7から、仮説が否定される

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