その濃霧は見下げない
fact1: もしなんらかの物は入れないとすれば「ひっぺがすないしさらに歯軋りしない」ということは偽だ fact2: なにがしかの物が感染し易いとしたらそれは嬉しい fact3: もしそのベガはひっぺがすないしさらに感染し易くないなら「この社会福祉学部は感染し易い」ということは本当だ fact4: もしもこの社会福祉学部が嬉しいとすればその濃霧は見下げる fact5: もし仮にある物はひっぺがすないとすると「感染し易いが嬉しくない」ということは誤りである fact6: 仮に「そのベガはひっぺがすないししかも歯軋りしない」ということは誤りならばその濃霧はひっぺがすない fact7: その即売会が憂いけれどそれが入れないとしたらそのベガは入れない fact8: そのベガはひっぺがすということはないし加えて感染し易くない
fact2 -> int1: もし仮にこの社会福祉学部が感染し易いとすると嬉しい; fact3 & fact8 -> int2: この社会福祉学部は感染し易い; int1 & int2 -> int3: この社会福祉学部は嬉しい; int3 & fact4 -> hypothesis;
その濃霧は見下げない
fact11 -> int4: もしもその濃霧はひっぺがすないとすると「感染し易いけれど嬉しくない」ということは事実と異なる; fact12 -> int5: もしもそのベガは入れないとしたら「それはひっぺがすないし歯軋りしない」ということは成り立たない;
$facts$ = fact1: もしなんらかの物は入れないとすれば「ひっぺがすないしさらに歯軋りしない」ということは偽だ fact2: なにがしかの物が感染し易いとしたらそれは嬉しい fact3: もしそのベガはひっぺがすないしさらに感染し易くないなら「この社会福祉学部は感染し易い」ということは本当だ fact4: もしもこの社会福祉学部が嬉しいとすればその濃霧は見下げる fact5: もし仮にある物はひっぺがすないとすると「感染し易いが嬉しくない」ということは誤りである fact6: 仮に「そのベガはひっぺがすないししかも歯軋りしない」ということは誤りならばその濃霧はひっぺがすない fact7: その即売会が憂いけれどそれが入れないとしたらそのベガは入れない fact8: そのベガはひっぺがすということはないし加えて感染し易くない ; $hypothesis$ = その濃霧は見下げない ; $proof$ = 
fact2 -> int1: もし仮にこの社会福祉学部が感染し易いとすると嬉しい; fact3 & fact8 -> int2: この社会福祉学部は感染し易い; int1 & int2 -> int3: この社会福祉学部は嬉しい; int3 & fact4 -> hypothesis; __DISPROVED__
事実1: もしなんらかの物は入れないとすれば「ひっぺがすないしさらに歯軋りしない」ということは偽だ
事実2: なにがしかの物が感染し易いとしたらそれは嬉しい
事実3: もしそのベガはひっぺがすないしさらに感染し易くないなら「この社会福祉学部は感染し易い」ということは本当だ
事実4: もしもこの社会福祉学部が嬉しいとすればその濃霧は見下げる
事実5: もし仮にある物はひっぺがすないとすると「感染し易いが嬉しくない」ということは誤りである
事実6: 仮に「そのベガはひっぺがすないししかも歯軋りしない」ということは誤りならばその濃霧はひっぺがすない
事実7: その即売会が憂いけれどそれが入れないとしたらそのベガは入れない
事実8: そのベガはひっぺがすということはないし加えて感染し易くない

仮説: その濃霧は見下げない
1. 事実2から、推論1: "もし仮にこの社会福祉学部が感染し易いとすると嬉しい"が導かれる
2. 事実3と事実8から、推論2: "この社会福祉学部は感染し易い"が導かれる
3. 推論1と推論2から、推論3: "この社会福祉学部は嬉しい"が導かれる
4. 推論3と事実4から、仮説が否定される

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