この段落スタイルはすばしこい
fact1: もしもこの段落スタイルが甲斐甲斐しかないならその縮緬は清くないし甲斐甲斐しかない fact2: 仮になにがしかの物は清いとすれば「それは影響され易くないけどすばしこい」ということは成り立たない fact3: 仮にその縮緬が清くないし甲斐甲斐しかないとするとそのＮＡＮＯは影響され易い fact4: あの自家用機は甲斐甲斐しい fact5: そのＮＡＮＯは影響され易くない fact6: 仮にその縮緬が清いがしかし甲斐甲斐しかないとするとそのＮＡＮＯは影響され易い fact7: その縮緬が開局しないとすればこの段落スタイルは清いしその上間違え易い fact8: この段落スタイルがすばしこいとしたらそれは甲斐甲斐しかない
void -> assump1: 以下のように仮定する。この段落スタイルはすばしこい; fact8 & assump1 -> int1: この段落スタイルは甲斐甲斐しいということはない; int1 & fact1 -> int2: その縮緬が清くないしさらに甲斐甲斐しかない; int2 & fact3 -> int3: そのＮＡＮＯは影響され易い; int3 & fact5 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis;
この入国許可は甲斐甲斐しかない
fact9 -> int5: もし仮にこの段落スタイルは清いならば「影響され易くないけれどすばしこい」ということは確かでない;
$facts$ = fact1: もしもこの段落スタイルが甲斐甲斐しかないならその縮緬は清くないし甲斐甲斐しかない fact2: 仮になにがしかの物は清いとすれば「それは影響され易くないけどすばしこい」ということは成り立たない fact3: 仮にその縮緬が清くないし甲斐甲斐しかないとするとそのＮＡＮＯは影響され易い fact4: あの自家用機は甲斐甲斐しい fact5: そのＮＡＮＯは影響され易くない fact6: 仮にその縮緬が清いがしかし甲斐甲斐しかないとするとそのＮＡＮＯは影響され易い fact7: その縮緬が開局しないとすればこの段落スタイルは清いしその上間違え易い fact8: この段落スタイルがすばしこいとしたらそれは甲斐甲斐しかない ; $hypothesis$ = この段落スタイルはすばしこい ; $proof$ = 
void -> assump1: 以下のように仮定する。この段落スタイルはすばしこい; fact8 & assump1 -> int1: この段落スタイルは甲斐甲斐しいということはない; int1 & fact1 -> int2: その縮緬が清くないしさらに甲斐甲斐しかない; int2 & fact3 -> int3: そのＮＡＮＯは影響され易い; int3 & fact5 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: もしもこの段落スタイルが甲斐甲斐しかないならその縮緬は清くないし甲斐甲斐しかない
事実2: 仮になにがしかの物は清いとすれば「それは影響され易くないけどすばしこい」ということは成り立たない
事実3: 仮にその縮緬が清くないし甲斐甲斐しかないとするとそのＮＡＮＯは影響され易い
事実4: あの自家用機は甲斐甲斐しい
事実5: そのＮＡＮＯは影響され易くない
事実6: 仮にその縮緬が清いがしかし甲斐甲斐しかないとするとそのＮＡＮＯは影響され易い
事実7: その縮緬が開局しないとすればこの段落スタイルは清いしその上間違え易い
事実8: この段落スタイルがすばしこいとしたらそれは甲斐甲斐しかない

仮説: この段落スタイルはすばしこい
1. 仮定1: 以下のように仮定する。この段落スタイルはすばしこい
2. 事実8と仮定1から、推論1: "この段落スタイルは甲斐甲斐しいということはない"が導かれる
3. 推論1と事実1から、推論2: "その縮緬が清くないしさらに甲斐甲斐しかない"が導かれる
4. 推論2と事実3から、推論3: "そのＮＡＮＯは影響され易い"が導かれる
5. 推論3と事実5から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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