「その女性排除は応募する」ということは確かである
fact1: この英語交じりは名高い fact2: その喪中は乗り回さない fact3: このエコハウスが分厚いとすると借金する fact4: 仮にこのエコハウスは苛立たしいしさらに借金するとすれば「その女性排除は応募しない」ということは事実だ fact5: 仮にこの英語交じりは応募すれば「その女性排除は応募する」ということは真実である fact6: このエコハウスは分厚い fact7: もしこのグルクンが入り易いとすればその火の粉は入り易くない fact8: その火の粉が入り易くないならその名分は粒子間であるし加えて丹前だ fact9: 仮になにかは活性化マクロファージならこのグルクンは入り易い fact10: もし仮にこの英語交じりが乗り回さないとしたらこのエコハウスは活躍出来ないし更に名高くない fact11: もし仮に「何らかの物はぼろくないけれどそれはいびりである」ということは間違いであるならばそれは由々し fact12: もし仮になんらかのものは丹前でないとしたら「ぼろくないものでかついびりである」ということは間違いである fact13: 仮にその名分が粒子間であるしまたそれが丹前であるとすればその朝野新聞は丹前であるということはない fact14: もしもとある物が活躍出来なくてそれが名高くないならば苛立たしい fact15: もし仮にこのエコハウスが単行書だということはない一方で売買出来るとしたら「吊り易い」ということは成り立つ fact16: その自然発生はポエジーでかつ分厚い fact17: この英語交じりは乗り回さない fact18: もし仮にあるものが苛立たしかないならば応募するしさらにそれは乗り回す fact19: 「活性化マクロファージな」ものはある
fact10 & fact17 -> int1: このエコハウスは活躍出来るということはないし更に名高くない; fact14 -> int2: もしこのエコハウスが活躍出来ないしその上名高くないなら苛立たしい; int1 & int2 -> int3: このエコハウスは苛立たしい; fact3 & fact6 -> int4: このエコハウスは借金する; int3 & int4 -> int5: このエコハウスは苛立たしいしまた借金する; int5 & fact4 -> hypothesis;
「その女性排除は応募する」ということは事実だ
fact23 -> int6: もし仮にこの英語交じりが苛立たしかないとすればそれは応募するしその上乗り回す; fact24 -> int7: もしも「その朝野新聞はぼろくないけどいびりだ」ということは誤りだとしたら「由々し」ということは正しい; fact26 -> int8: 仮にその朝野新聞は丹前でないとすると「ぼろくない一方でいびりである」ということは事実と異なる; fact21 & fact20 -> int9: このグルクンは入り易い; fact25 & int9 -> int10: その火の粉は入り易くない; fact28 & int10 -> int11: その名分は粒子間であるしそれに丹前である; fact22 & int11 -> int12: その朝野新聞は丹前でない; int8 & int12 -> int13: 「「その朝野新聞はぼろくないがしかしいびりだ」ということは真実である」ということは事実と異なる; int7 & int13 -> int14: その朝野新聞は由々し; int14 -> int15: 「由々し」ものはある;
$facts$ = fact1: この英語交じりは名高い fact2: その喪中は乗り回さない fact3: このエコハウスが分厚いとすると借金する fact4: 仮にこのエコハウスは苛立たしいしさらに借金するとすれば「その女性排除は応募しない」ということは事実だ fact5: 仮にこの英語交じりは応募すれば「その女性排除は応募する」ということは真実である fact6: このエコハウスは分厚い fact7: もしこのグルクンが入り易いとすればその火の粉は入り易くない fact8: その火の粉が入り易くないならその名分は粒子間であるし加えて丹前だ fact9: 仮になにかは活性化マクロファージならこのグルクンは入り易い fact10: もし仮にこの英語交じりが乗り回さないとしたらこのエコハウスは活躍出来ないし更に名高くない fact11: もし仮に「何らかの物はぼろくないけれどそれはいびりである」ということは間違いであるならばそれは由々し fact12: もし仮になんらかのものは丹前でないとしたら「ぼろくないものでかついびりである」ということは間違いである fact13: 仮にその名分が粒子間であるしまたそれが丹前であるとすればその朝野新聞は丹前であるということはない fact14: もしもとある物が活躍出来なくてそれが名高くないならば苛立たしい fact15: もし仮にこのエコハウスが単行書だということはない一方で売買出来るとしたら「吊り易い」ということは成り立つ fact16: その自然発生はポエジーでかつ分厚い fact17: この英語交じりは乗り回さない fact18: もし仮にあるものが苛立たしかないならば応募するしさらにそれは乗り回す fact19: 「活性化マクロファージな」ものはある ; $hypothesis$ = 「その女性排除は応募する」ということは確かである ; $proof$ = 
fact10 & fact17 -> int1: このエコハウスは活躍出来るということはないし更に名高くない; fact14 -> int2: もしこのエコハウスが活躍出来ないしその上名高くないなら苛立たしい; int1 & int2 -> int3: このエコハウスは苛立たしい; fact3 & fact6 -> int4: このエコハウスは借金する; int3 & int4 -> int5: このエコハウスは苛立たしいしまた借金する; int5 & fact4 -> hypothesis; __DISPROVED__
事実1: この英語交じりは名高い
事実2: その喪中は乗り回さない
事実3: このエコハウスが分厚いとすると借金する
事実4: 仮にこのエコハウスは苛立たしいしさらに借金するとすれば「その女性排除は応募しない」ということは事実だ
事実5: 仮にこの英語交じりは応募すれば「その女性排除は応募する」ということは真実である
事実6: このエコハウスは分厚い
事実7: もしこのグルクンが入り易いとすればその火の粉は入り易くない
事実8: その火の粉が入り易くないならその名分は粒子間であるし加えて丹前だ
事実9: 仮になにかは活性化マクロファージならこのグルクンは入り易い
事実10: もし仮にこの英語交じりが乗り回さないとしたらこのエコハウスは活躍出来ないし更に名高くない
事実11: もし仮に「何らかの物はぼろくないけれどそれはいびりである」ということは間違いであるならばそれは由々し
事実12: もし仮になんらかのものは丹前でないとしたら「ぼろくないものでかついびりである」ということは間違いである
事実13: 仮にその名分が粒子間であるしまたそれが丹前であるとすればその朝野新聞は丹前であるということはない
事実14: もしもとある物が活躍出来なくてそれが名高くないならば苛立たしい
事実15: もし仮にこのエコハウスが単行書だということはない一方で売買出来るとしたら「吊り易い」ということは成り立つ
事実16: その自然発生はポエジーでかつ分厚い
事実17: この英語交じりは乗り回さない
事実18: もし仮にあるものが苛立たしかないならば応募するしさらにそれは乗り回す
事実19: 「活性化マクロファージな」ものはある

仮説: 「その女性排除は応募する」ということは確かである
1. 事実10と事実17から、推論1: "このエコハウスは活躍出来るということはないし更に名高くない"が導かれる
2. 事実14から、推論2: "もしこのエコハウスが活躍出来ないしその上名高くないなら苛立たしい"が導かれる
3. 推論1と推論2から、推論3: "このエコハウスは苛立たしい"が導かれる
4. 事実3と事実6から、推論4: "このエコハウスは借金する"が導かれる
5. 推論3と推論4から、推論5: "このエコハウスは苛立たしいしまた借金する"が導かれる
6. 推論5と事実4から、仮説が否定される

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