あの鉄竿は再分配政策でない
fact1: 仮にとある物は惜しいとしたら「それは投げ飛ばすが再分配政策でない」ということは成り立たない fact2: 仮にこの呉市史資料編近世は投げ飛ばさないなら「あのＵＮＩＸ系ＯＳは担ぎ出すしそれにインストールＣＤである」ということは間違っている fact3: 「あのＵＮＩＸ系ＯＳは担ぎ出さないがしかしインストールＣＤだ」ということは間違いならば「あの鉄竿は再分配政策でない」ということは嘘であるということはない fact4: この呉市史資料編近世は投げ飛ばさない fact5: もしもあの鉄竿が怒りっぽくないならばそれはローマジパンであるしそれは惜しい fact6: 仮にあのＵＮＩＸ系ＯＳは担ぎ出すとすると「あの鉄竿は再分配政策だということはない」ということは成り立つ fact7: もし「ある物は投げ飛ばさなくてそれにそれは再分配政策でない」ということは成り立たないとするとそれは再分配政策である fact8: 「あのＵＮＩＸ系ＯＳは担ぎ出すしインストールＣＤだ」ということは間違いだ fact9: もしもあのＵＮＩＸ系ＯＳは投げ飛ばさないとしたら「この呉市史資料編近世は担ぎ出さない一方でそれはインストールＣＤである」ということは真実でない fact10: もしもこの呉市史資料編近世は投げ飛ばさないならば「あのＵＮＩＸ系ＯＳは担ぎ出すということはないけどインストールＣＤである」ということは成り立つということはない
fact10 & fact4 -> int1: 「あのＵＮＩＸ系ＯＳは担ぎ出さないけどインストールＣＤだ」ということは間違いである; int1 & fact3 -> hypothesis;
あの鉄竿は再分配政策である
fact12 -> int2: もしも「あの鉄竿は惜しい」ということは事実だとすれば「投げ飛ばすけれど再分配政策でない」ということは事実と異なる;
$facts$ = fact1: 仮にとある物は惜しいとしたら「それは投げ飛ばすが再分配政策でない」ということは成り立たない fact2: 仮にこの呉市史資料編近世は投げ飛ばさないなら「あのＵＮＩＸ系ＯＳは担ぎ出すしそれにインストールＣＤである」ということは間違っている fact3: 「あのＵＮＩＸ系ＯＳは担ぎ出さないがしかしインストールＣＤだ」ということは間違いならば「あの鉄竿は再分配政策でない」ということは嘘であるということはない fact4: この呉市史資料編近世は投げ飛ばさない fact5: もしもあの鉄竿が怒りっぽくないならばそれはローマジパンであるしそれは惜しい fact6: 仮にあのＵＮＩＸ系ＯＳは担ぎ出すとすると「あの鉄竿は再分配政策だということはない」ということは成り立つ fact7: もし「ある物は投げ飛ばさなくてそれにそれは再分配政策でない」ということは成り立たないとするとそれは再分配政策である fact8: 「あのＵＮＩＸ系ＯＳは担ぎ出すしインストールＣＤだ」ということは間違いだ fact9: もしもあのＵＮＩＸ系ＯＳは投げ飛ばさないとしたら「この呉市史資料編近世は担ぎ出さない一方でそれはインストールＣＤである」ということは真実でない fact10: もしもこの呉市史資料編近世は投げ飛ばさないならば「あのＵＮＩＸ系ＯＳは担ぎ出すということはないけどインストールＣＤである」ということは成り立つということはない ; $hypothesis$ = あの鉄竿は再分配政策でない ; $proof$ = 
fact10 & fact4 -> int1: 「あのＵＮＩＸ系ＯＳは担ぎ出さないけどインストールＣＤだ」ということは間違いである; int1 & fact3 -> hypothesis; __PROVED__
事実1: 仮にとある物は惜しいとしたら「それは投げ飛ばすが再分配政策でない」ということは成り立たない
事実2: 仮にこの呉市史資料編近世は投げ飛ばさないなら「あのＵＮＩＸ系ＯＳは担ぎ出すしそれにインストールＣＤである」ということは間違っている
事実3: 「あのＵＮＩＸ系ＯＳは担ぎ出さないがしかしインストールＣＤだ」ということは間違いならば「あの鉄竿は再分配政策でない」ということは嘘であるということはない
事実4: この呉市史資料編近世は投げ飛ばさない
事実5: もしもあの鉄竿が怒りっぽくないならばそれはローマジパンであるしそれは惜しい
事実6: 仮にあのＵＮＩＸ系ＯＳは担ぎ出すとすると「あの鉄竿は再分配政策だということはない」ということは成り立つ
事実7: もし「ある物は投げ飛ばさなくてそれにそれは再分配政策でない」ということは成り立たないとするとそれは再分配政策である
事実8: 「あのＵＮＩＸ系ＯＳは担ぎ出すしインストールＣＤだ」ということは間違いだ
事実9: もしもあのＵＮＩＸ系ＯＳは投げ飛ばさないとしたら「この呉市史資料編近世は担ぎ出さない一方でそれはインストールＣＤである」ということは真実でない
事実10: もしもこの呉市史資料編近世は投げ飛ばさないならば「あのＵＮＩＸ系ＯＳは担ぎ出すということはないけどインストールＣＤである」ということは成り立つということはない

仮説: あの鉄竿は再分配政策でない
1. 事実10と事実4から、推論1: "「あのＵＮＩＸ系ＯＳは担ぎ出さないけどインストールＣＤだ」ということは間違いである"が導かれる
2. 推論1と事実3から、仮説が導かれる

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