もしもこの不承認は編集者でないならば「あのＷＡＳＰ・スーパーＤ型はプレイするしそれにエイリアス名だ」ということは成り立つということはない
fact1: 「この不承認はプレイするしさらにそれは編集者だ」ということは成り立つということはない fact2: もし「編集者でない」ものがあるとすればあのＷＡＳＰ・スーパーＤ型はプレイするしエイリアス名だ fact3: あのＷＡＳＰ・スーパーＤ型はプレイするしまたエイリアス名である fact4: もしも「編集者であるということはない」ものはあるなら「あのＷＡＳＰ・スーパーＤ型がプレイするしその上エイリアス名である」ということは誤っている fact5: 仮にあのＷＡＳＰ・スーパーＤ型はエイリアス名でないとすれば「この不承認はプレイするしかつ編集者だ」ということは確かだ fact6: 「この不承認は編集者でプレイする」ということは偽だ fact7: 仮にこの不承認は編集者でないとすれば「あのＷＡＳＰ・スーパーＤ型はプレイするしエイリアス名だ」ということは確かである fact8: 仮にその風俗秩序が編集者でないならばあのＷＡＳＰ・スーパーＤ型は信頼し合わない fact9: 仮に「あのＷＡＳＰ・スーパーＤ型は編集者でない」ということは正しいとしたら「この不承認はプレイするしそれにそれはエイリアス名である」ということは確かでない fact10: もしもあのＷＡＳＰ・スーパーＤ型はプレイしないなら「この不承認はエイリアス名であるしそれは編集者である」ということは事実と異なる fact11: 仮に「あのＷＡＳＰ・スーパーＤ型は編集者であるということはない」ということは真実であるなら「この不承認はエイリアス名であるしかつプレイする」ということは偽でない fact12: 「エイリアス名な」物はある
void -> assump1: 以下のように仮定する。この不承認は編集者であるということはない; assump1 -> int1: なんらかのものは編集者であるということはない; int1 & fact4 -> int2: 「あのＷＡＳＰ・スーパーＤ型がプレイするしその上それはエイリアス名だ」ということは誤っている; [assump1] & int2 -> hypothesis;
「信頼し合わない」物はある
$facts$ = fact1: 「この不承認はプレイするしさらにそれは編集者だ」ということは成り立つということはない fact2: もし「編集者でない」ものがあるとすればあのＷＡＳＰ・スーパーＤ型はプレイするしエイリアス名だ fact3: あのＷＡＳＰ・スーパーＤ型はプレイするしまたエイリアス名である fact4: もしも「編集者であるということはない」ものはあるなら「あのＷＡＳＰ・スーパーＤ型がプレイするしその上エイリアス名である」ということは誤っている fact5: 仮にあのＷＡＳＰ・スーパーＤ型はエイリアス名でないとすれば「この不承認はプレイするしかつ編集者だ」ということは確かだ fact6: 「この不承認は編集者でプレイする」ということは偽だ fact7: 仮にこの不承認は編集者でないとすれば「あのＷＡＳＰ・スーパーＤ型はプレイするしエイリアス名だ」ということは確かである fact8: 仮にその風俗秩序が編集者でないならばあのＷＡＳＰ・スーパーＤ型は信頼し合わない fact9: 仮に「あのＷＡＳＰ・スーパーＤ型は編集者でない」ということは正しいとしたら「この不承認はプレイするしそれにそれはエイリアス名である」ということは確かでない fact10: もしもあのＷＡＳＰ・スーパーＤ型はプレイしないなら「この不承認はエイリアス名であるしそれは編集者である」ということは事実と異なる fact11: 仮に「あのＷＡＳＰ・スーパーＤ型は編集者であるということはない」ということは真実であるなら「この不承認はエイリアス名であるしかつプレイする」ということは偽でない fact12: 「エイリアス名な」物はある ; $hypothesis$ = もしもこの不承認は編集者でないならば「あのＷＡＳＰ・スーパーＤ型はプレイするしそれにエイリアス名だ」ということは成り立つということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。この不承認は編集者であるということはない; assump1 -> int1: なんらかのものは編集者であるということはない; int1 & fact4 -> int2: 「あのＷＡＳＰ・スーパーＤ型がプレイするしその上それはエイリアス名だ」ということは誤っている; [assump1] & int2 -> hypothesis; __PROVED__
事実1: 「この不承認はプレイするしさらにそれは編集者だ」ということは成り立つということはない
事実2: もし「編集者でない」ものがあるとすればあのＷＡＳＰ・スーパーＤ型はプレイするしエイリアス名だ
事実3: あのＷＡＳＰ・スーパーＤ型はプレイするしまたエイリアス名である
事実4: もしも「編集者であるということはない」ものはあるなら「あのＷＡＳＰ・スーパーＤ型がプレイするしその上エイリアス名である」ということは誤っている
事実5: 仮にあのＷＡＳＰ・スーパーＤ型はエイリアス名でないとすれば「この不承認はプレイするしかつ編集者だ」ということは確かだ
事実6: 「この不承認は編集者でプレイする」ということは偽だ
事実7: 仮にこの不承認は編集者でないとすれば「あのＷＡＳＰ・スーパーＤ型はプレイするしエイリアス名だ」ということは確かである
事実8: 仮にその風俗秩序が編集者でないならばあのＷＡＳＰ・スーパーＤ型は信頼し合わない
事実9: 仮に「あのＷＡＳＰ・スーパーＤ型は編集者でない」ということは正しいとしたら「この不承認はプレイするしそれにそれはエイリアス名である」ということは確かでない
事実10: もしもあのＷＡＳＰ・スーパーＤ型はプレイしないなら「この不承認はエイリアス名であるしそれは編集者である」ということは事実と異なる
事実11: 仮に「あのＷＡＳＰ・スーパーＤ型は編集者であるということはない」ということは真実であるなら「この不承認はエイリアス名であるしかつプレイする」ということは偽でない
事実12: 「エイリアス名な」物はある

仮説: もしもこの不承認は編集者でないならば「あのＷＡＳＰ・スーパーＤ型はプレイするしそれにエイリアス名だ」ということは成り立つということはない
1. 仮定1: 以下のように仮定する。この不承認は編集者であるということはない
2. 仮定1から、推論1: "なんらかのものは編集者であるということはない"が導かれる
3. 推論1と事実4から、推論2: "「あのＷＡＳＰ・スーパーＤ型がプレイするしその上それはエイリアス名だ」ということは誤っている"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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