そのマルクス経済学は給与所得控除である
fact1: この単極誘導は物らしいし啜り終える fact2: すべては届き難くない fact3: もしも「何らかの物ははしたなくないが生じ易い」ということは間違いであるとするとそれは生じ易くない fact4: 仮に何かは届き難くないならば「はしたないということはないし生じ易い」ということは嘘だ fact5: もしも「その積極的平和は不安要因でなくてまた盗み見ない」ということは真実であるということはないならそのマルクス経済学は給与所得控除でない fact6: もしも「生じ易くない」物があるならそのマルクス経済学は啜り終えるしかつ物らしい fact7: もしその積極的平和が不安要因でないし盗み見るということはないとすればこの単極誘導は啜り終えない
void -> assump1: 以下のように仮定する。その積極的平和は不安要因であるということはなくて盗み見ない; fact7 & assump1 -> int1: この単極誘導は啜り終えない; fact1 -> int2: この単極誘導は啜り終える; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「その積極的平和は不安要因でないし盗み見ない」ということは正しくない; int4 & fact5 -> hypothesis;
そのマルクス経済学は給与所得控除である
fact11 -> int5: 仮にこの単極誘導は届き難くないならば「「それははしたなくないけど生じ易い」ということは確かだ」ということは正しくない; fact9 -> int6: 「この単極誘導は届き難くない」ということは真実である; int5 & int6 -> int7: 「この単極誘導ははしたなくない一方で生じ易い」ということは誤りである; int7 -> int8: はしたなくないがしかし生じ易いというものはない; int8 -> int9: 「その積極的平和ははしたなくないが生じ易い」ということは偽である; fact8 -> int10: 「その積極的平和ははしたないということはないが生じ易い」ということは誤っているならそれは生じ易くない; int9 & int10 -> int11: その積極的平和は生じ易くない; int11 -> int12: 「生じ易くない」物はある; int12 & fact10 -> int13: そのマルクス経済学は啜り終えるし加えて物らしい; int13 -> int14: 「そのマルクス経済学は啜り終える」ということは真実だ;
$facts$ = fact1: この単極誘導は物らしいし啜り終える fact2: すべては届き難くない fact3: もしも「何らかの物ははしたなくないが生じ易い」ということは間違いであるとするとそれは生じ易くない fact4: 仮に何かは届き難くないならば「はしたないということはないし生じ易い」ということは嘘だ fact5: もしも「その積極的平和は不安要因でなくてまた盗み見ない」ということは真実であるということはないならそのマルクス経済学は給与所得控除でない fact6: もしも「生じ易くない」物があるならそのマルクス経済学は啜り終えるしかつ物らしい fact7: もしその積極的平和が不安要因でないし盗み見るということはないとすればこの単極誘導は啜り終えない ; $hypothesis$ = そのマルクス経済学は給与所得控除である ; $proof$ = 
void -> assump1: 以下のように仮定する。その積極的平和は不安要因であるということはなくて盗み見ない; fact7 & assump1 -> int1: この単極誘導は啜り終えない; fact1 -> int2: この単極誘導は啜り終える; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「その積極的平和は不安要因でないし盗み見ない」ということは正しくない; int4 & fact5 -> hypothesis; __DISPROVED__
事実1: この単極誘導は物らしいし啜り終える
事実2: すべては届き難くない
事実3: もしも「何らかの物ははしたなくないが生じ易い」ということは間違いであるとするとそれは生じ易くない
事実4: 仮に何かは届き難くないならば「はしたないということはないし生じ易い」ということは嘘だ
事実5: もしも「その積極的平和は不安要因でなくてまた盗み見ない」ということは真実であるということはないならそのマルクス経済学は給与所得控除でない
事実6: もしも「生じ易くない」物があるならそのマルクス経済学は啜り終えるしかつ物らしい
事実7: もしその積極的平和が不安要因でないし盗み見るということはないとすればこの単極誘導は啜り終えない

仮説: そのマルクス経済学は給与所得控除である
1. 仮定1: 以下のように仮定する。その積極的平和は不安要因であるということはなくて盗み見ない
2. 事実7と仮定1から、推論1: "この単極誘導は啜り終えない"が導かれる
3. 事実1から、推論2: "この単極誘導は啜り終える"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「その積極的平和は不安要因でないし盗み見ない」ということは正しくない"が導かれる
6. 推論4と事実5から、仮説が否定される

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