「もしも「非分類でないししかも乏し尿である」ということは間違っているとすれば政治化しない」ものはある
fact1: もしこの部長さんは非分類でないが乏し尿であるとすればそれは政治化しない fact2: 「もし仮に「非分類でないし乏し尿である」ということは誤りであるならば政治化する」物はある fact3: もしも「この部長さんは非分類でないけど乏し尿である」ということは誤っているとすればそれは政治化する fact4: もし「この部長さんは非分類でそれは乏し尿だ」ということは誤りであるとするとそれは政治化しない fact5: 「「この部長さんは非分類でないけれど乏し尿である」ということは間違っている」ということは真実ならばそれは政治化しない fact6: 「もしも「削り落とさなくて問題練習だ」ということは偽であるならアクセスし易くない」物はある fact7: 「「もし非分類でない一方で乏し尿であるとすると政治化しない」ものはある」ということは成り立つ fact8: 「もし仮に「「非分類だしさらに乏し尿である」ということは正しい」ということは成り立たないならば政治化しない」ものはある fact9: 「仮に非分類だとすれば政治化しない」物はある
fact5 -> hypothesis;
$facts$ = fact1: もしこの部長さんは非分類でないが乏し尿であるとすればそれは政治化しない fact2: 「もし仮に「非分類でないし乏し尿である」ということは誤りであるならば政治化する」物はある fact3: もしも「この部長さんは非分類でないけど乏し尿である」ということは誤っているとすればそれは政治化する fact4: もし「この部長さんは非分類でそれは乏し尿だ」ということは誤りであるとするとそれは政治化しない fact5: 「「この部長さんは非分類でないけれど乏し尿である」ということは間違っている」ということは真実ならばそれは政治化しない fact6: 「もしも「削り落とさなくて問題練習だ」ということは偽であるならアクセスし易くない」物はある fact7: 「「もし非分類でない一方で乏し尿であるとすると政治化しない」ものはある」ということは成り立つ fact8: 「もし仮に「「非分類だしさらに乏し尿である」ということは正しい」ということは成り立たないならば政治化しない」ものはある fact9: 「仮に非分類だとすれば政治化しない」物はある ; $hypothesis$ = 「もしも「非分類でないししかも乏し尿である」ということは間違っているとすれば政治化しない」ものはある ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: もしこの部長さんは非分類でないが乏し尿であるとすればそれは政治化しない
事実2: 「もし仮に「非分類でないし乏し尿である」ということは誤りであるならば政治化する」物はある
事実3: もしも「この部長さんは非分類でないけど乏し尿である」ということは誤っているとすればそれは政治化する
事実4: もし「この部長さんは非分類でそれは乏し尿だ」ということは誤りであるとするとそれは政治化しない
事実5: 「「この部長さんは非分類でないけれど乏し尿である」ということは間違っている」ということは真実ならばそれは政治化しない
事実6: 「もしも「削り落とさなくて問題練習だ」ということは偽であるならアクセスし易くない」物はある
事実7: 「「もし非分類でない一方で乏し尿であるとすると政治化しない」ものはある」ということは成り立つ
事実8: 「もし仮に「「非分類だしさらに乏し尿である」ということは正しい」ということは成り立たないならば政治化しない」ものはある
事実9: 「仮に非分類だとすれば政治化しない」物はある

仮説: 「もしも「非分類でないししかも乏し尿である」ということは間違っているとすれば政治化しない」ものはある
1. 事実5から、仮説が導かれる

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