「そのアーバンデザインは混住しないけれど楔である」ということは成り立つ
fact1: 「フォーンである」ものはある fact2: もしそのアーバンデザインが混住しないがしかし楔であるとしたらそれはハッカーである fact3: もしも「男好きであるし切れ易い」ものがあるとするとこの難度はＥメールアドレスでない fact4: もしそのアーバンデザインはＥメールアドレスだとすると「そのエアーニッポン労組は切れ易くてハッカーである」ということは間違っている fact5: 「そのアーバンデザインはハッカーだ」ということは成り立つとすれば「そのエアーニッポン労組は切れ易くないけどＥメールアドレスだ」ということは間違っている fact6: 仮に「そのエアーニッポン労組は切れ易くないけどＥメールアドレスだ」ということは嘘であるとすればそれは二ブロックである fact7: もしも「乱闘騒ぎであるししかもフォーンである」ものがあればこの難度は男好きでない fact8: 「乱闘騒ぎであるしさらにフォーンな」物はある fact9: そのエアーニッポン労組が二ブロックであるならこの難度は男好きだ fact10: そのアーバンデザインが切れ易いとすればそのエアーニッポン労組は楔である
void -> assump1: 以下のように仮定する。そのアーバンデザインは混住しないが楔だ; fact2 & assump1 -> int1: 「そのアーバンデザインはハッカーだ」ということは事実だ; int1 & fact5 -> int2: 「そのエアーニッポン労組は切れ易くないＥメールアドレスである」ということは成り立つということはない; int2 & fact6 -> int3: そのエアーニッポン労組は二ブロックだ; int3 & fact9 -> int4: この難度は男好きである; fact7 & fact8 -> int5: この難度は男好きでない; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
$facts$ = fact1: 「フォーンである」ものはある fact2: もしそのアーバンデザインが混住しないがしかし楔であるとしたらそれはハッカーである fact3: もしも「男好きであるし切れ易い」ものがあるとするとこの難度はＥメールアドレスでない fact4: もしそのアーバンデザインはＥメールアドレスだとすると「そのエアーニッポン労組は切れ易くてハッカーである」ということは間違っている fact5: 「そのアーバンデザインはハッカーだ」ということは成り立つとすれば「そのエアーニッポン労組は切れ易くないけどＥメールアドレスだ」ということは間違っている fact6: 仮に「そのエアーニッポン労組は切れ易くないけどＥメールアドレスだ」ということは嘘であるとすればそれは二ブロックである fact7: もしも「乱闘騒ぎであるししかもフォーンである」ものがあればこの難度は男好きでない fact8: 「乱闘騒ぎであるしさらにフォーンな」物はある fact9: そのエアーニッポン労組が二ブロックであるならこの難度は男好きだ fact10: そのアーバンデザインが切れ易いとすればそのエアーニッポン労組は楔である ; $hypothesis$ = 「そのアーバンデザインは混住しないけれど楔である」ということは成り立つ ; $proof$ = 
void -> assump1: 以下のように仮定する。そのアーバンデザインは混住しないが楔だ; fact2 & assump1 -> int1: 「そのアーバンデザインはハッカーだ」ということは事実だ; int1 & fact5 -> int2: 「そのエアーニッポン労組は切れ易くないＥメールアドレスである」ということは成り立つということはない; int2 & fact6 -> int3: そのエアーニッポン労組は二ブロックだ; int3 & fact9 -> int4: この難度は男好きである; fact7 & fact8 -> int5: この難度は男好きでない; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: 「フォーンである」ものはある
事実2: もしそのアーバンデザインが混住しないがしかし楔であるとしたらそれはハッカーである
事実3: もしも「男好きであるし切れ易い」ものがあるとするとこの難度はＥメールアドレスでない
事実4: もしそのアーバンデザインはＥメールアドレスだとすると「そのエアーニッポン労組は切れ易くてハッカーである」ということは間違っている
事実5: 「そのアーバンデザインはハッカーだ」ということは成り立つとすれば「そのエアーニッポン労組は切れ易くないけどＥメールアドレスだ」ということは間違っている
事実6: 仮に「そのエアーニッポン労組は切れ易くないけどＥメールアドレスだ」ということは嘘であるとすればそれは二ブロックである
事実7: もしも「乱闘騒ぎであるししかもフォーンである」ものがあればこの難度は男好きでない
事実8: 「乱闘騒ぎであるしさらにフォーンな」物はある
事実9: そのエアーニッポン労組が二ブロックであるならこの難度は男好きだ
事実10: そのアーバンデザインが切れ易いとすればそのエアーニッポン労組は楔である

仮説: 「そのアーバンデザインは混住しないけれど楔である」ということは成り立つ
1. 仮定1: 以下のように仮定する。そのアーバンデザインは混住しないが楔だ
2. 事実2と仮定1から、推論1: "「そのアーバンデザインはハッカーだ」ということは事実だ"が導かれる
3. 推論1と事実5から、推論2: "「そのエアーニッポン労組は切れ易くないＥメールアドレスである」ということは成り立つということはない"が導かれる
4. 推論2と事実6から、推論3: "そのエアーニッポン労組は二ブロックだ"が導かれる
5. 推論3と事実9から、推論4: "この難度は男好きである"が導かれる
6. 事実7と事実8から、推論5: "この難度は男好きでない"が導かれる
7. 推論4と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が否定される

よって、仮説が否定されました。