「そのＩＭＰは言い添えるということはないか放浪するかあるいはどちらもだ」ということは偽だ
fact1: もしあるものは言い添えれば「剥離し難いし加えてそれは迷走しない」ということは誤りである fact2: そのＩＭＰは剥離し難いが迷走しない
fact1 -> int1: もし仮にそのＩＭＰは言い添えれば「それは剥離し難いけど迷走するということはない」ということは嘘である; void -> assump1: 以下のように仮定する。そのＩＭＰは言い添える; int1 & assump1 -> int2: 「そのＩＭＰは剥離し難いがしかし迷走しない」ということは誤りだ; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> int4: そのＩＭＰは言い添えない; int4 -> hypothesis;
$facts$ = fact1: もしあるものは言い添えれば「剥離し難いし加えてそれは迷走しない」ということは誤りである fact2: そのＩＭＰは剥離し難いが迷走しない ; $hypothesis$ = 「そのＩＭＰは言い添えるということはないか放浪するかあるいはどちらもだ」ということは偽だ ; $proof$ = 
fact1 -> int1: もし仮にそのＩＭＰは言い添えれば「それは剥離し難いけど迷走するということはない」ということは嘘である; void -> assump1: 以下のように仮定する。そのＩＭＰは言い添える; int1 & assump1 -> int2: 「そのＩＭＰは剥離し難いがしかし迷走しない」ということは誤りだ; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> int4: そのＩＭＰは言い添えない; int4 -> hypothesis; __DISPROVED__
事実1: もしあるものは言い添えれば「剥離し難いし加えてそれは迷走しない」ということは誤りである
事実2: そのＩＭＰは剥離し難いが迷走しない

仮説: 「そのＩＭＰは言い添えるということはないか放浪するかあるいはどちらもだ」ということは偽だ
1. 事実1から、推論1: "もし仮にそのＩＭＰは言い添えれば「それは剥離し難いけど迷走するということはない」ということは嘘である"が導かれる
2. 仮定1: 以下のように仮定する。そのＩＭＰは言い添える
3. 推論1と仮定1から、推論2: "「そのＩＭＰは剥離し難いがしかし迷走しない」ということは誤りだ"が導かれる
4. 推論2と事実2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "そのＩＭＰは言い添えない"が導かれる
6. 推論4から、仮説が否定される

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