「何らかのものは小冊子であるかもしくは政治局員であるかあるいはどちらもだ」ということは間違いだ
fact1: もし仮にその東都が泳ぎ出さないとするとこの自律神経系は四Ｄでないけど救援だ fact2: もしも「その震災直後は心強くない」ということは正しいなら「「その東都は捩じ曲げないがＺＯＯである」ということは真実だ」ということは成り立たない fact3: 「この下馬評は定期券区間外でない」ということは正しい fact4: 定期券区間外は心置き無い fact5: その震災直後は心強くない fact6: もしも「とあるものはスローライフでないけどそれは労働歌だ」ということは成り立たないとすればそれは政治局員でない fact7: もしもこの玉手箱は救援でないなら「「あの私的整理が資料作成だししかもそれは回生だ」ということは真実でない」ということは確かである fact8: もしこの下馬評は定期券区間外でないとしたら小冊子だ fact9: もし「「資料作成であるし回生である」ということは成り立つということはない」ものがあるとしたらこの虎鶫は弱くない fact10: もし仮に「その東都は捩じ曲げない一方でＺＯＯだ」ということは成り立たないとしたら泳ぎ出さない fact11: もしこの自律神経系が四Ｄでないけど救援であるならこの玉手箱は救援だということはない fact12: もしもなにがしかのものは弱いということはないとすれば「それはスローライフでないしそれに労働歌だ」ということは間違っている
fact8 & fact3 -> int1: この下馬評は小冊子である; int1 -> int2: この下馬評は小冊子であるかまたは政治局員である; int2 -> hypothesis;
この下馬評は心置き無い
fact20 -> int3: もしもこの下馬評が定期券区間外ならば心置き無い; fact17 -> int4: もしも「この虎鶫はスローライフでないが労働歌だ」ということは成り立たないとしたら政治局員だということはない; fact16 -> int5: 「もし仮にこの虎鶫は弱いということはないならば「この虎鶫はスローライフであるということはない一方で労働歌である」ということは誤っている」ということは成り立つ; fact22 & fact13 -> int6: 「その東都は捩じ曲げないがしかしＺＯＯである」ということは誤りだ; fact21 & int6 -> int7: その東都は泳ぎ出さない; fact15 & int7 -> int8: この自律神経系は四Ｄでないがしかし救援である; fact19 & int8 -> int9: この玉手箱は救援でない; fact14 & int9 -> int10: 「あの私的整理は資料作成であるし更に回生だ」ということは誤っている; int10 -> int11: 「「資料作成で回生だ」ということは成り立たない」物はある; int11 & fact18 -> int12: この虎鶫は弱くない; int5 & int12 -> int13: 「この虎鶫はスローライフでないが労働歌である」ということは誤りだ; int4 & int13 -> int14: 「この虎鶫は政治局員でない」ということは成り立つ;
$facts$ = fact1: もし仮にその東都が泳ぎ出さないとするとこの自律神経系は四Ｄでないけど救援だ fact2: もしも「その震災直後は心強くない」ということは正しいなら「「その東都は捩じ曲げないがＺＯＯである」ということは真実だ」ということは成り立たない fact3: 「この下馬評は定期券区間外でない」ということは正しい fact4: 定期券区間外は心置き無い fact5: その震災直後は心強くない fact6: もしも「とあるものはスローライフでないけどそれは労働歌だ」ということは成り立たないとすればそれは政治局員でない fact7: もしもこの玉手箱は救援でないなら「「あの私的整理が資料作成だししかもそれは回生だ」ということは真実でない」ということは確かである fact8: もしこの下馬評は定期券区間外でないとしたら小冊子だ fact9: もし「「資料作成であるし回生である」ということは成り立つということはない」ものがあるとしたらこの虎鶫は弱くない fact10: もし仮に「その東都は捩じ曲げない一方でＺＯＯだ」ということは成り立たないとしたら泳ぎ出さない fact11: もしこの自律神経系が四Ｄでないけど救援であるならこの玉手箱は救援だということはない fact12: もしもなにがしかのものは弱いということはないとすれば「それはスローライフでないしそれに労働歌だ」ということは間違っている ; $hypothesis$ = 「何らかのものは小冊子であるかもしくは政治局員であるかあるいはどちらもだ」ということは間違いだ ; $proof$ = 
fact8 & fact3 -> int1: この下馬評は小冊子である; int1 -> int2: この下馬評は小冊子であるかまたは政治局員である; int2 -> hypothesis; __DISPROVED__
事実1: もし仮にその東都が泳ぎ出さないとするとこの自律神経系は四Ｄでないけど救援だ
事実2: もしも「その震災直後は心強くない」ということは正しいなら「「その東都は捩じ曲げないがＺＯＯである」ということは真実だ」ということは成り立たない
事実3: 「この下馬評は定期券区間外でない」ということは正しい
事実4: 定期券区間外は心置き無い
事実5: その震災直後は心強くない
事実6: もしも「とあるものはスローライフでないけどそれは労働歌だ」ということは成り立たないとすればそれは政治局員でない
事実7: もしもこの玉手箱は救援でないなら「「あの私的整理が資料作成だししかもそれは回生だ」ということは真実でない」ということは確かである
事実8: もしこの下馬評は定期券区間外でないとしたら小冊子だ
事実9: もし「「資料作成であるし回生である」ということは成り立つということはない」ものがあるとしたらこの虎鶫は弱くない
事実10: もし仮に「その東都は捩じ曲げない一方でＺＯＯだ」ということは成り立たないとしたら泳ぎ出さない
事実11: もしこの自律神経系が四Ｄでないけど救援であるならこの玉手箱は救援だということはない
事実12: もしもなにがしかのものは弱いということはないとすれば「それはスローライフでないしそれに労働歌だ」ということは間違っている

仮説: 「何らかのものは小冊子であるかもしくは政治局員であるかあるいはどちらもだ」ということは間違いだ
1. 事実8と事実3から、推論1: "この下馬評は小冊子である"が導かれる
2. 推論1から、推論2: "この下馬評は小冊子であるかまたは政治局員である"が導かれる
3. 推論2から、仮説が否定される

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