「「制限税率でしかもスタディモデルである」ということは成り立たない」物はある
fact1: あの安全機器は自給する fact2: その貿易・投資は自給する fact3: もし仮にこの胡麻斑髪切りが甲骨文字でないとすればその貿易・投資は甲骨文字であるけれど自給しない fact4: もしこの不渡り手形は利き過ぎるしマゼンダならば「この胡麻斑髪切りは甲骨文字でない」ということは間違っていない fact5: この不渡り手形はマゼンダだ fact6: もしこの不渡り手形は利き過ぎないならば「その硝酸は制限税率であるし加えてそれはスタディモデルだ」ということは嘘である
void -> assump1: 以下のように仮定する。この不渡り手形は利き過ぎる; assump1 & fact5 -> int1: この不渡り手形は利き過ぎるしかつそれはマゼンダである; int1 & fact4 -> int2: この胡麻斑髪切りは甲骨文字であるということはない; int2 & fact3 -> int3: その貿易・投資は甲骨文字だがしかしそれは自給しない; int3 -> int4: その貿易・投資は自給しない; int4 & fact2 -> int5: これは矛盾である; [assump1] & int5 -> int6: この不渡り手形は利き過ぎない; int6 & fact6 -> int7: 「「その硝酸は制限税率であるしスタディモデルである」ということは誤りである」ということは偽でない; int7 -> hypothesis;
$facts$ = fact1: あの安全機器は自給する fact2: その貿易・投資は自給する fact3: もし仮にこの胡麻斑髪切りが甲骨文字でないとすればその貿易・投資は甲骨文字であるけれど自給しない fact4: もしこの不渡り手形は利き過ぎるしマゼンダならば「この胡麻斑髪切りは甲骨文字でない」ということは間違っていない fact5: この不渡り手形はマゼンダだ fact6: もしこの不渡り手形は利き過ぎないならば「その硝酸は制限税率であるし加えてそれはスタディモデルだ」ということは嘘である ; $hypothesis$ = 「「制限税率でしかもスタディモデルである」ということは成り立たない」物はある ; $proof$ = 
void -> assump1: 以下のように仮定する。この不渡り手形は利き過ぎる; assump1 & fact5 -> int1: この不渡り手形は利き過ぎるしかつそれはマゼンダである; int1 & fact4 -> int2: この胡麻斑髪切りは甲骨文字であるということはない; int2 & fact3 -> int3: その貿易・投資は甲骨文字だがしかしそれは自給しない; int3 -> int4: その貿易・投資は自給しない; int4 & fact2 -> int5: これは矛盾である; [assump1] & int5 -> int6: この不渡り手形は利き過ぎない; int6 & fact6 -> int7: 「「その硝酸は制限税率であるしスタディモデルである」ということは誤りである」ということは偽でない; int7 -> hypothesis; __PROVED__
事実1: あの安全機器は自給する
事実2: その貿易・投資は自給する
事実3: もし仮にこの胡麻斑髪切りが甲骨文字でないとすればその貿易・投資は甲骨文字であるけれど自給しない
事実4: もしこの不渡り手形は利き過ぎるしマゼンダならば「この胡麻斑髪切りは甲骨文字でない」ということは間違っていない
事実5: この不渡り手形はマゼンダだ
事実6: もしこの不渡り手形は利き過ぎないならば「その硝酸は制限税率であるし加えてそれはスタディモデルだ」ということは嘘である

仮説: 「「制限税率でしかもスタディモデルである」ということは成り立たない」物はある
1. 仮定1: 以下のように仮定する。この不渡り手形は利き過ぎる
2. 仮定1と事実5から、推論1: "この不渡り手形は利き過ぎるしかつそれはマゼンダである"が導かれる
3. 推論1と事実4から、推論2: "この胡麻斑髪切りは甲骨文字であるということはない"が導かれる
4. 推論2と事実3から、推論3: "その貿易・投資は甲骨文字だがしかしそれは自給しない"が導かれる
5. 推論3から、推論4: "その貿易・投資は自給しない"が導かれる
6. 推論4と事実2から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "この不渡り手形は利き過ぎない"が導かれる
8. 推論6と事実6から、推論7: "「「その硝酸は制限税率であるしスタディモデルである」ということは誤りである」ということは偽でない"が導かれる
9. 推論7から、仮説が導かれる

よって、仮説が証明されました。