もし仮にその記事が公衆であるとすればこの冬季は担当役員だ
fact1: もし「公衆な」物はあれば「そのゲルマン諸語は弾劾でない一方でそれは参加し易い」ということは成り立たない fact2: 「「「弾劾でない一方で参加し易い」ということは真実である」ということは間違いな」ものがあるとしたらこの冬季は担当役員だ fact3: 「この冬季は参加し易い」ということは事実である fact4: もしも「なんらかの物は担当役員でなくておまけに汚染しない」ということは成り立たないとすれば弾劾でない fact5: もしもあるものは出血し易くないなら「担当役員でなくてそれに汚染しない」ということは偽である fact6: 「この冬季は担当役員であるということはない一方で弾劾である」ということは嘘だ
void -> assump1: 以下のように仮定する。その記事は公衆だ; assump1 -> int1: ある物は公衆だ; int1 & fact1 -> int2: 「そのゲルマン諸語は弾劾でない一方で参加し易い」ということは確かでない; int2 -> int3: 「「弾劾でないしそれに参加し易い」ということは確かだということはない」物はある; int3 & fact2 -> int4: この冬季は担当役員である; [assump1] & int4 -> hypothesis;
このチューリング・マシンは参加し易い
fact8 -> int5: 「仮に「そのゲルマン諸語は担当役員でなくてかつそれは汚染するということはない」ということは事実でないとしたらそのゲルマン諸語は弾劾でない」ということは成り立つ; fact7 -> int6: もしそのゲルマン諸語は出血し易くないとしたら「「それは担当役員でないし加えて汚染しない」ということは事実である」ということは誤っている;
$facts$ = fact1: もし「公衆な」物はあれば「そのゲルマン諸語は弾劾でない一方でそれは参加し易い」ということは成り立たない fact2: 「「「弾劾でない一方で参加し易い」ということは真実である」ということは間違いな」ものがあるとしたらこの冬季は担当役員だ fact3: 「この冬季は参加し易い」ということは事実である fact4: もしも「なんらかの物は担当役員でなくておまけに汚染しない」ということは成り立たないとすれば弾劾でない fact5: もしもあるものは出血し易くないなら「担当役員でなくてそれに汚染しない」ということは偽である fact6: 「この冬季は担当役員であるということはない一方で弾劾である」ということは嘘だ ; $hypothesis$ = もし仮にその記事が公衆であるとすればこの冬季は担当役員だ ; $proof$ = 
void -> assump1: 以下のように仮定する。その記事は公衆だ; assump1 -> int1: ある物は公衆だ; int1 & fact1 -> int2: 「そのゲルマン諸語は弾劾でない一方で参加し易い」ということは確かでない; int2 -> int3: 「「弾劾でないしそれに参加し易い」ということは確かだということはない」物はある; int3 & fact2 -> int4: この冬季は担当役員である; [assump1] & int4 -> hypothesis; __PROVED__
事実1: もし「公衆な」物はあれば「そのゲルマン諸語は弾劾でない一方でそれは参加し易い」ということは成り立たない
事実2: 「「「弾劾でない一方で参加し易い」ということは真実である」ということは間違いな」ものがあるとしたらこの冬季は担当役員だ
事実3: 「この冬季は参加し易い」ということは事実である
事実4: もしも「なんらかの物は担当役員でなくておまけに汚染しない」ということは成り立たないとすれば弾劾でない
事実5: もしもあるものは出血し易くないなら「担当役員でなくてそれに汚染しない」ということは偽である
事実6: 「この冬季は担当役員であるということはない一方で弾劾である」ということは嘘だ

仮説: もし仮にその記事が公衆であるとすればこの冬季は担当役員だ
1. 仮定1: 以下のように仮定する。その記事は公衆だ
2. 仮定1から、推論1: "ある物は公衆だ"が導かれる
3. 推論1と事実1から、推論2: "「そのゲルマン諸語は弾劾でない一方で参加し易い」ということは確かでない"が導かれる
4. 推論2から、推論3: "「「弾劾でないしそれに参加し易い」ということは確かだということはない」物はある"が導かれる
5. 推論3と事実2から、推論4: "この冬季は担当役員である"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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