そのメールサーバーは興奮し易いということはない
fact1: この溶かし無塩発酵バターは縮小表示しないが籾である fact2: 何もかもは狭まる fact3: あらゆるものはルータ化するしかつスリム化する fact4: もしも「縮小表示するということはないけれど籾である」物があるならあの見せ掛けは選択出来る fact5: もしもあの見せ掛けが縮小表示しないとするとこの溶かし無塩発酵バターは解し難くないがそれは籾である fact6: あの見せ掛けが解し難くないとするとそのメールサーバーは幼しないが興奮し易い fact7: そのトランジットが狭まるし更にそれが解し難いならそれは注意すらない fact8: 何らかの物が選択出来るしその上ルータ化するとすると解し難くない fact9: 仮に「なんらかのものは縮小表示するしそれは興奮し易い」ということは誤っているとすれば興奮し易くない fact10: もしそのメールサーバーが興奮し易いしその上縮小表示するならそれは解し難くない
fact1 -> int1: 「縮小表示しないし籾な」物はある; int1 & fact4 -> int2: あの見せ掛けは選択出来る; fact3 -> int3: あの見せ掛けがルータ化するしその上スリム化する; int3 -> int4: あの見せ掛けはルータ化する; int2 & int4 -> int5: あの見せ掛けは選択出来るしルータ化する; fact8 -> int6: 仮にあの見せ掛けが選択出来るしまたそれがルータ化すれば解し難くない; int5 & int6 -> int7: あの見せ掛けは解し難いということはない; int7 & fact6 -> int8: そのメールサーバーは幼しないけれど興奮し易い; int8 -> hypothesis;
そのメールサーバーは興奮し易くない
fact11 -> int9: もし「そのメールサーバーは縮小表示するしまたそれは興奮し易い」ということは真実でないならそれは興奮し易くない;
$facts$ = fact1: この溶かし無塩発酵バターは縮小表示しないが籾である fact2: 何もかもは狭まる fact3: あらゆるものはルータ化するしかつスリム化する fact4: もしも「縮小表示するということはないけれど籾である」物があるならあの見せ掛けは選択出来る fact5: もしもあの見せ掛けが縮小表示しないとするとこの溶かし無塩発酵バターは解し難くないがそれは籾である fact6: あの見せ掛けが解し難くないとするとそのメールサーバーは幼しないが興奮し易い fact7: そのトランジットが狭まるし更にそれが解し難いならそれは注意すらない fact8: 何らかの物が選択出来るしその上ルータ化するとすると解し難くない fact9: 仮に「なんらかのものは縮小表示するしそれは興奮し易い」ということは誤っているとすれば興奮し易くない fact10: もしそのメールサーバーが興奮し易いしその上縮小表示するならそれは解し難くない ; $hypothesis$ = そのメールサーバーは興奮し易いということはない ; $proof$ = 
fact1 -> int1: 「縮小表示しないし籾な」物はある; int1 & fact4 -> int2: あの見せ掛けは選択出来る; fact3 -> int3: あの見せ掛けがルータ化するしその上スリム化する; int3 -> int4: あの見せ掛けはルータ化する; int2 & int4 -> int5: あの見せ掛けは選択出来るしルータ化する; fact8 -> int6: 仮にあの見せ掛けが選択出来るしまたそれがルータ化すれば解し難くない; int5 & int6 -> int7: あの見せ掛けは解し難いということはない; int7 & fact6 -> int8: そのメールサーバーは幼しないけれど興奮し易い; int8 -> hypothesis; __DISPROVED__
事実1: この溶かし無塩発酵バターは縮小表示しないが籾である
事実2: 何もかもは狭まる
事実3: あらゆるものはルータ化するしかつスリム化する
事実4: もしも「縮小表示するということはないけれど籾である」物があるならあの見せ掛けは選択出来る
事実5: もしもあの見せ掛けが縮小表示しないとするとこの溶かし無塩発酵バターは解し難くないがそれは籾である
事実6: あの見せ掛けが解し難くないとするとそのメールサーバーは幼しないが興奮し易い
事実7: そのトランジットが狭まるし更にそれが解し難いならそれは注意すらない
事実8: 何らかの物が選択出来るしその上ルータ化するとすると解し難くない
事実9: 仮に「なんらかのものは縮小表示するしそれは興奮し易い」ということは誤っているとすれば興奮し易くない
事実10: もしそのメールサーバーが興奮し易いしその上縮小表示するならそれは解し難くない

仮説: そのメールサーバーは興奮し易いということはない
1. 事実1から、推論1: "「縮小表示しないし籾な」物はある"が導かれる
2. 推論1と事実4から、推論2: "あの見せ掛けは選択出来る"が導かれる
3. 事実3から、推論3: "あの見せ掛けがルータ化するしその上スリム化する"が導かれる
4. 推論3から、推論4: "あの見せ掛けはルータ化する"が導かれる
5. 推論2と推論4から、推論5: "あの見せ掛けは選択出来るしルータ化する"が導かれる
6. 事実8から、推論6: "仮にあの見せ掛けが選択出来るしまたそれがルータ化すれば解し難くない"が導かれる
7. 推論5と推論6から、推論7: "あの見せ掛けは解し難いということはない"が導かれる
8. 推論7と事実6から、推論8: "そのメールサーバーは幼しないけれど興奮し易い"が導かれる
9. 推論8から、仮説が否定される

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