そのソールが製造品出荷額等であるとすればこの下知は貧しくない
fact1: もしも「なにがしかの物は貧しいしそれは踏ん切りである」ということは成り立てばそのソールは製造品出荷額等でない fact2: この下知は踏ん切りだ fact3: 「あるものは配置出来る一方で製造品出荷額等でない」ということは偽であるとしたら製造品出荷額等だ fact4: もし仮に「貧しいし踏ん切りな」ものがあるならそのソールは製造品出荷額等である fact5: そのソールが踏ん切りだとしたらこの下知は製造品出荷額等である fact6: そのソールは製造品出荷額等だし更に踏ん切りである
void -> assump1: 以下のように仮定する。この下知は貧しい; assump1 & fact2 -> int1: この下知は貧しいしおまけに踏ん切りである; int1 -> int2: 「「貧しいしかつ踏ん切りである」ということは事実な」ものはある; int2 & fact1 -> int3: そのソールは製造品出荷額等でない; void -> assump2: 以下のように仮定する。そのソールは製造品出荷額等である; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: この下知は貧しくない; [assump2] & int5 -> hypothesis;
「この公共放送は貧しい」ということは真実だ
fact7 -> int6: もし「この下知は配置出来るがしかし製造品出荷額等でない」ということは成り立たないとしたらそれは製造品出荷額等だ;
$facts$ = fact1: もしも「なにがしかの物は貧しいしそれは踏ん切りである」ということは成り立てばそのソールは製造品出荷額等でない fact2: この下知は踏ん切りだ fact3: 「あるものは配置出来る一方で製造品出荷額等でない」ということは偽であるとしたら製造品出荷額等だ fact4: もし仮に「貧しいし踏ん切りな」ものがあるならそのソールは製造品出荷額等である fact5: そのソールが踏ん切りだとしたらこの下知は製造品出荷額等である fact6: そのソールは製造品出荷額等だし更に踏ん切りである ; $hypothesis$ = そのソールが製造品出荷額等であるとすればこの下知は貧しくない ; $proof$ = 
void -> assump1: 以下のように仮定する。この下知は貧しい; assump1 & fact2 -> int1: この下知は貧しいしおまけに踏ん切りである; int1 -> int2: 「「貧しいしかつ踏ん切りである」ということは事実な」ものはある; int2 & fact1 -> int3: そのソールは製造品出荷額等でない; void -> assump2: 以下のように仮定する。そのソールは製造品出荷額等である; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: この下知は貧しくない; [assump2] & int5 -> hypothesis; __PROVED__
事実1: もしも「なにがしかの物は貧しいしそれは踏ん切りである」ということは成り立てばそのソールは製造品出荷額等でない
事実2: この下知は踏ん切りだ
事実3: 「あるものは配置出来る一方で製造品出荷額等でない」ということは偽であるとしたら製造品出荷額等だ
事実4: もし仮に「貧しいし踏ん切りな」ものがあるならそのソールは製造品出荷額等である
事実5: そのソールが踏ん切りだとしたらこの下知は製造品出荷額等である
事実6: そのソールは製造品出荷額等だし更に踏ん切りである

仮説: そのソールが製造品出荷額等であるとすればこの下知は貧しくない
1. 仮定1: 以下のように仮定する。この下知は貧しい
2. 仮定1と事実2から、推論1: "この下知は貧しいしおまけに踏ん切りである"が導かれる
3. 推論1から、推論2: "「「貧しいしかつ踏ん切りである」ということは事実な」ものはある"が導かれる
4. 推論2と事実1から、推論3: "そのソールは製造品出荷額等でない"が導かれる
5. 仮定2: 以下のように仮定する。そのソールは製造品出荷額等である
6. 推論3と仮定2から、推論4: "これは矛盾である"が導かれる
7. [仮定1]と推論4から、推論5: "この下知は貧しくない"が導かれる
8. [仮定2]と推論5から、仮説が導かれる

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