「「出易いかもしくは傷付き易くないかまたはどちらもである」ということは事実と異なる」物はある
fact1: この乗客数は拭い難いかまたはバーチャルリアリティだ fact2: 「「出易くない」ということは本当である」物はある fact3: もし仮に何らかの物は分散化するとすると「それはしつこい」ということは偽でない fact4: バーチャルリアリティは傷付き易い fact5: この乗客数が拭い難いとすればこの認否はバーチャルリアリティだ fact6: その朝飯前は傷付き易いとしたら「この認否は出易いかまたはそれは傷付き易くないかまたは両方だ」ということは間違っている fact7: 傷付き易い物は分散化する fact8: この乗客数は止し為さるし分散化する fact9: この乗客数が止し為さるとするとその朝飯前は傷付き易い
fact8 -> int1: 「この乗客数は止し為さる」ということは成り立つ; int1 & fact9 -> int2: その朝飯前は傷付き易い; int2 & fact6 -> int3: 「この認否は出易いかまたは傷付き易くないか両方である」ということは偽だ; int3 -> hypothesis;
この認否はしつこくて加えて止し為さる
fact14 -> int4: この認否が分散化するとすればしつこい; fact12 -> int5: もしもこの認否が傷付き易いならそれは分散化する; fact13 -> int6: 仮にこの認否がバーチャルリアリティだとするとそれは傷付き易い;
$facts$ = fact1: この乗客数は拭い難いかまたはバーチャルリアリティだ fact2: 「「出易くない」ということは本当である」物はある fact3: もし仮に何らかの物は分散化するとすると「それはしつこい」ということは偽でない fact4: バーチャルリアリティは傷付き易い fact5: この乗客数が拭い難いとすればこの認否はバーチャルリアリティだ fact6: その朝飯前は傷付き易いとしたら「この認否は出易いかまたはそれは傷付き易くないかまたは両方だ」ということは間違っている fact7: 傷付き易い物は分散化する fact8: この乗客数は止し為さるし分散化する fact9: この乗客数が止し為さるとするとその朝飯前は傷付き易い ; $hypothesis$ = 「「出易いかもしくは傷付き易くないかまたはどちらもである」ということは事実と異なる」物はある ; $proof$ = 
fact8 -> int1: 「この乗客数は止し為さる」ということは成り立つ; int1 & fact9 -> int2: その朝飯前は傷付き易い; int2 & fact6 -> int3: 「この認否は出易いかまたは傷付き易くないか両方である」ということは偽だ; int3 -> hypothesis; __PROVED__
事実1: この乗客数は拭い難いかまたはバーチャルリアリティだ
事実2: 「「出易くない」ということは本当である」物はある
事実3: もし仮に何らかの物は分散化するとすると「それはしつこい」ということは偽でない
事実4: バーチャルリアリティは傷付き易い
事実5: この乗客数が拭い難いとすればこの認否はバーチャルリアリティだ
事実6: その朝飯前は傷付き易いとしたら「この認否は出易いかまたはそれは傷付き易くないかまたは両方だ」ということは間違っている
事実7: 傷付き易い物は分散化する
事実8: この乗客数は止し為さるし分散化する
事実9: この乗客数が止し為さるとするとその朝飯前は傷付き易い

仮説: 「「出易いかもしくは傷付き易くないかまたはどちらもである」ということは事実と異なる」物はある
1. 事実8から、推論1: "「この乗客数は止し為さる」ということは成り立つ"が導かれる
2. 推論1と事実9から、推論2: "その朝飯前は傷付き易い"が導かれる
3. 推論2と事実6から、推論3: "「この認否は出易いかまたは傷付き易くないか両方である」ということは偽だ"が導かれる
4. 推論3から、仮説が導かれる

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