「仮にこの重なりが細かいならあの劇団員は改革・開放政策である」ということは間違っている
fact1: この血液型毎は改革・開放政策である fact2: この重なりは改革・開放政策であるかまたはそれは細かい fact3: もし仮にこの回生が改革・開放政策であるならばあの劇団員は劇薬である fact4: もしもとある物は深手であるということはないとすれば反比例しない fact5: この回生が劇薬であるかもしくは文全体であるかまたはどちらもであるとするとその平滑系舗装は深手でない fact6: 仮にこの回生は文全体であるとすると「その平滑系舗装は深手でない」ということは成り立つ fact7: 「もしその平滑系舗装が反比例しないとしたらあの劇団員は改革・開放政策だ」ということは成り立つ fact8: この重なりは深手でない fact9: この回生は細かくない fact10: この重なりが細かいならこの回生は劇薬だ fact11: この回生が反比例しないとすればその平滑系舗装は劇薬だ
void -> assump1: 以下のように仮定する。この重なりは細かい; fact10 & assump1 -> int1: この回生は劇薬である; int1 -> int2: 「この回生は劇薬であるかもしくは文全体であるかあるいは両方ともである」ということは真実だ; int2 & fact5 -> int3: その平滑系舗装は深手でない; fact4 -> int4: もしその平滑系舗装が深手でないとすればそれは反比例するということはない; int3 & int4 -> int5: その平滑系舗装は反比例しない; int5 & fact7 -> int6: あの劇団員は改革・開放政策だ; [assump1] & int6 -> hypothesis;
$facts$ = fact1: この血液型毎は改革・開放政策である fact2: この重なりは改革・開放政策であるかまたはそれは細かい fact3: もし仮にこの回生が改革・開放政策であるならばあの劇団員は劇薬である fact4: もしもとある物は深手であるということはないとすれば反比例しない fact5: この回生が劇薬であるかもしくは文全体であるかまたはどちらもであるとするとその平滑系舗装は深手でない fact6: 仮にこの回生は文全体であるとすると「その平滑系舗装は深手でない」ということは成り立つ fact7: 「もしその平滑系舗装が反比例しないとしたらあの劇団員は改革・開放政策だ」ということは成り立つ fact8: この重なりは深手でない fact9: この回生は細かくない fact10: この重なりが細かいならこの回生は劇薬だ fact11: この回生が反比例しないとすればその平滑系舗装は劇薬だ ; $hypothesis$ = 「仮にこの重なりが細かいならあの劇団員は改革・開放政策である」ということは間違っている ; $proof$ = 
void -> assump1: 以下のように仮定する。この重なりは細かい; fact10 & assump1 -> int1: この回生は劇薬である; int1 -> int2: 「この回生は劇薬であるかもしくは文全体であるかあるいは両方ともである」ということは真実だ; int2 & fact5 -> int3: その平滑系舗装は深手でない; fact4 -> int4: もしその平滑系舗装が深手でないとすればそれは反比例するということはない; int3 & int4 -> int5: その平滑系舗装は反比例しない; int5 & fact7 -> int6: あの劇団員は改革・開放政策だ; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: この血液型毎は改革・開放政策である
事実2: この重なりは改革・開放政策であるかまたはそれは細かい
事実3: もし仮にこの回生が改革・開放政策であるならばあの劇団員は劇薬である
事実4: もしもとある物は深手であるということはないとすれば反比例しない
事実5: この回生が劇薬であるかもしくは文全体であるかまたはどちらもであるとするとその平滑系舗装は深手でない
事実6: 仮にこの回生は文全体であるとすると「その平滑系舗装は深手でない」ということは成り立つ
事実7: 「もしその平滑系舗装が反比例しないとしたらあの劇団員は改革・開放政策だ」ということは成り立つ
事実8: この重なりは深手でない
事実9: この回生は細かくない
事実10: この重なりが細かいならこの回生は劇薬だ
事実11: この回生が反比例しないとすればその平滑系舗装は劇薬だ

仮説: 「仮にこの重なりが細かいならあの劇団員は改革・開放政策である」ということは間違っている
1. 仮定1: 以下のように仮定する。この重なりは細かい
2. 事実10と仮定1から、推論1: "この回生は劇薬である"が導かれる
3. 推論1から、推論2: "「この回生は劇薬であるかもしくは文全体であるかあるいは両方ともである」ということは真実だ"が導かれる
4. 推論2と事実5から、推論3: "その平滑系舗装は深手でない"が導かれる
5. 事実4から、推論4: "もしその平滑系舗装が深手でないとすればそれは反比例するということはない"が導かれる
6. 推論3と推論4から、推論5: "その平滑系舗装は反比例しない"が導かれる
7. 推論5と事実7から、推論6: "あの劇団員は改革・開放政策だ"が導かれる
8. [仮定1]と推論6から、仮説が否定される

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