「あの東京都下水道局は見窄らしいし水痘である」ということは偽である
fact1: もしもなにがしかのものは這い出るとすれば「それは水痘だ」ということは真実だ fact2: もし仮になんらかのものが這い出るとしたら激変である fact3: あるものは悪賢くないかそれは残留組であるかまたはどちらもだ fact4: もし「Ｍ・Ａ・Ｃな」ものがあるとすればあの東京都下水道局は見窄らしいししかも激変である fact5: 仮になにかは床しいなら引き剥く fact6: 「「悪賢くないかあるいは残留組であるかまたは両方だ」ということは間違いである」物はある fact7: もしも「「悪賢いということはないかあるいは残留組である」ということは成り立たない」物があるとすればあの東京都下水道局は這い出る fact8: 仮になにがしかのものはＭ・Ａ・Ｃでないならば「見窄らしいしその上水痘である」ということは真実でない fact9: Ｍ・Ａ・Ｃはある fact10: もしなにがしかの物が引き剥くとするとその活動後は激変だしさらに仮す fact11: もしも「「這い出るということはないかもしくは激変であるかまたは両方ともである」ということは成り立つということはない」ものがあるとすればあの東京都下水道局は見窄らしい fact12: もしもあの東京都下水道局がＭ・Ａ・Ｃならナッツだ
fact9 & fact4 -> int1: あの東京都下水道局は見窄らしいししかも激変である; int1 -> int2: あの東京都下水道局は見窄らしい; fact6 & fact7 -> int3: あの東京都下水道局は這い出る; fact1 -> int4: もし仮にあの東京都下水道局が這い出れば水痘だ; int3 & int4 -> int5: あの東京都下水道局は水痘である; int2 & int5 -> hypothesis;
fact9 & fact4 -> int1: ({B}{a} & {C}{a}); int1 -> int2: {B}{a}; fact6 & fact7 -> int3: {E}{a}; fact1 -> int4: {E}{a} -> {D}{a}; int3 & int4 -> int5: {D}{a}; int2 & int5 -> hypothesis;
「あの東京都下水道局は見窄らしいし更に水痘である」ということは本当でない
fact13 -> int6: もしもあの東京都下水道局はＭ・Ａ・Ｃでないならば「それは見窄らしいし水痘である」ということは誤っている;
$facts$ = fact1: もしもなにがしかのものは這い出るとすれば「それは水痘だ」ということは真実だ fact2: もし仮になんらかのものが這い出るとしたら激変である fact3: あるものは悪賢くないかそれは残留組であるかまたはどちらもだ fact4: もし「Ｍ・Ａ・Ｃな」ものがあるとすればあの東京都下水道局は見窄らしいししかも激変である fact5: 仮になにかは床しいなら引き剥く fact6: 「「悪賢くないかあるいは残留組であるかまたは両方だ」ということは間違いである」物はある fact7: もしも「「悪賢いということはないかあるいは残留組である」ということは成り立たない」物があるとすればあの東京都下水道局は這い出る fact8: 仮になにがしかのものはＭ・Ａ・Ｃでないならば「見窄らしいしその上水痘である」ということは真実でない fact9: Ｍ・Ａ・Ｃはある fact10: もしなにがしかの物が引き剥くとするとその活動後は激変だしさらに仮す fact11: もしも「「這い出るということはないかもしくは激変であるかまたは両方ともである」ということは成り立つということはない」ものがあるとすればあの東京都下水道局は見窄らしい fact12: もしもあの東京都下水道局がＭ・Ａ・Ｃならナッツだ ; $hypothesis$ = 「あの東京都下水道局は見窄らしいし水痘である」ということは偽である ; $proof$ = 
fact9 & fact4 -> int1: あの東京都下水道局は見窄らしいししかも激変である; int1 -> int2: あの東京都下水道局は見窄らしい; fact6 & fact7 -> int3: あの東京都下水道局は這い出る; fact1 -> int4: もし仮にあの東京都下水道局が這い出れば水痘だ; int3 & int4 -> int5: あの東京都下水道局は水痘である; int2 & int5 -> hypothesis; __DISPROVED__
事実1: もしもなにがしかのものは這い出るとすれば「それは水痘だ」ということは真実だ
事実2: もし仮になんらかのものが這い出るとしたら激変である
事実3: あるものは悪賢くないかそれは残留組であるかまたはどちらもだ
事実4: もし「Ｍ・Ａ・Ｃな」ものがあるとすればあの東京都下水道局は見窄らしいししかも激変である
事実5: 仮になにかは床しいなら引き剥く
事実6: 「「悪賢くないかあるいは残留組であるかまたは両方だ」ということは間違いである」物はある
事実7: もしも「「悪賢いということはないかあるいは残留組である」ということは成り立たない」物があるとすればあの東京都下水道局は這い出る
事実8: 仮になにがしかのものはＭ・Ａ・Ｃでないならば「見窄らしいしその上水痘である」ということは真実でない
事実9: Ｍ・Ａ・Ｃはある
事実10: もしなにがしかの物が引き剥くとするとその活動後は激変だしさらに仮す
事実11: もしも「「這い出るということはないかもしくは激変であるかまたは両方ともである」ということは成り立つということはない」ものがあるとすればあの東京都下水道局は見窄らしい
事実12: もしもあの東京都下水道局がＭ・Ａ・Ｃならナッツだ

仮説: 「あの東京都下水道局は見窄らしいし水痘である」ということは偽である
1. 事実9と事実4から、推論1: "あの東京都下水道局は見窄らしいししかも激変である"が導かれる
2. 推論1から、推論2: "あの東京都下水道局は見窄らしい"が導かれる
3. 事実6と事実7から、推論3: "あの東京都下水道局は這い出る"が導かれる
4. 事実1から、推論4: "もし仮にあの東京都下水道局が這い出れば水痘だ"が導かれる
5. 推論3と推論4から、推論5: "あの東京都下水道局は水痘である"が導かれる
6. 推論2と推論5から、仮説が否定される

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