「この三十年代以降はすげないかまたはそれは十分過ぎるかもしくは両方ともである」ということは事実と異なる
fact1: 間近くないものはしおらしいか審査委員会であるかまたは両方だ fact2: 「なんらかの物は細胞外液だ一方で出易くない」ということは嘘であるならば十分過ぎない fact3: もし仮にあのねぶた祭りが間近いならこの三十年代以降は十分過ぎる fact4: 「その情報遺伝は十分過ぎない」ということは真実であるならば「あのねぶた祭りは間近いがしかしそれはすげなくない」ということは本当でない fact5: もしもあの農村部が揉まないとしたらその推理小説は平積みするかまたはそれは安い fact6: もしもある物は間近くないとすれば「すげないかもしくは十分過ぎるか両方である」ということは偽だ fact7: あの農村部は揉まない fact8: あのねぶた祭りは間近い fact9: もし仮になにかは一割負担分であるならば「細胞外液だがしかし出易くない」ということは誤っている
fact3 & fact8 -> int1: この三十年代以降は十分過ぎる; int1 -> hypothesis;
fact3 & fact8 -> int1: {B}{b}; int1 -> hypothesis;
この三十年代以降はしおらしいか審査委員会であるかもしくは両方である
fact11 -> int2: もしこの三十年代以降が間近くないとするとしおらしいかもしくは審査委員会であるかまたは両方だ; fact10 -> int3: 仮に「その情報遺伝は細胞外液であるけど出易いということはない」ということは成り立たないとしたらそれは十分過ぎない; fact13 -> int4: もしその情報遺伝は一割負担分だとすれば「細胞外液であるけれど出易いということはない」ということは成り立つということはない; fact14 & fact12 -> int5: その推理小説は平積みするか安い;
$facts$ = fact1: 間近くないものはしおらしいか審査委員会であるかまたは両方だ fact2: 「なんらかの物は細胞外液だ一方で出易くない」ということは嘘であるならば十分過ぎない fact3: もし仮にあのねぶた祭りが間近いならこの三十年代以降は十分過ぎる fact4: 「その情報遺伝は十分過ぎない」ということは真実であるならば「あのねぶた祭りは間近いがしかしそれはすげなくない」ということは本当でない fact5: もしもあの農村部が揉まないとしたらその推理小説は平積みするかまたはそれは安い fact6: もしもある物は間近くないとすれば「すげないかもしくは十分過ぎるか両方である」ということは偽だ fact7: あの農村部は揉まない fact8: あのねぶた祭りは間近い fact9: もし仮になにかは一割負担分であるならば「細胞外液だがしかし出易くない」ということは誤っている ; $hypothesis$ = 「この三十年代以降はすげないかまたはそれは十分過ぎるかもしくは両方ともである」ということは事実と異なる ; $proof$ = 
fact3 & fact8 -> int1: この三十年代以降は十分過ぎる; int1 -> hypothesis; __DISPROVED__
事実1: 間近くないものはしおらしいか審査委員会であるかまたは両方だ
事実2: 「なんらかの物は細胞外液だ一方で出易くない」ということは嘘であるならば十分過ぎない
事実3: もし仮にあのねぶた祭りが間近いならこの三十年代以降は十分過ぎる
事実4: 「その情報遺伝は十分過ぎない」ということは真実であるならば「あのねぶた祭りは間近いがしかしそれはすげなくない」ということは本当でない
事実5: もしもあの農村部が揉まないとしたらその推理小説は平積みするかまたはそれは安い
事実6: もしもある物は間近くないとすれば「すげないかもしくは十分過ぎるか両方である」ということは偽だ
事実7: あの農村部は揉まない
事実8: あのねぶた祭りは間近い
事実9: もし仮になにかは一割負担分であるならば「細胞外液だがしかし出易くない」ということは誤っている

仮説: 「この三十年代以降はすげないかまたはそれは十分過ぎるかもしくは両方ともである」ということは事実と異なる
1. 事実3と事実8から、推論1: "この三十年代以降は十分過ぎる"が導かれる
2. 推論1から、仮説が否定される

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