「あの骨腫瘍は掻き易くないかまたはＳＭＯＮだ」ということは偽だ
fact1: 「あの骨腫瘍は旅慣れないかあるいはそれは図り難い」ということは誤っている fact2: 仮になんらかの物は把握し難くないとすれば「掻き易くないかもしくはＳＭＯＮであるかあるいはどちらもである」ということは間違っている fact3: もし仮に「あの骨腫瘍は目まぐるしかない」ということは成り立てば「それは握り易くないかもしくはそれは掻き易い」ということは成り立たない fact4: 「このＴＡＰＥは賢くないかまたはそれは把握し難いかもしくは両方だ」ということは成り立たない fact5: もしも「あの骨腫瘍は旅慣れないかあるいはそれは図り難いかあるいは両方ともだ」ということは成り立たないならばそれは把握し難いということはない
fact5 & fact1 -> int1: あの骨腫瘍は把握し難くない; fact2 -> int2: あの骨腫瘍は把握し難いということはないとしたら「それは掻き易くないかあるいはＳＭＯＮであるかもしくはどちらもである」ということは誤りだ; int1 & int2 -> hypothesis;
fact5 & fact1 -> int1: ¬{B}{a}; fact2 -> int2: ¬{B}{a} -> ¬(¬{A}{a} v {C}{a}); int1 & int2 -> hypothesis;
$facts$ = fact1: 「あの骨腫瘍は旅慣れないかあるいはそれは図り難い」ということは誤っている fact2: 仮になんらかの物は把握し難くないとすれば「掻き易くないかもしくはＳＭＯＮであるかあるいはどちらもである」ということは間違っている fact3: もし仮に「あの骨腫瘍は目まぐるしかない」ということは成り立てば「それは握り易くないかもしくはそれは掻き易い」ということは成り立たない fact4: 「このＴＡＰＥは賢くないかまたはそれは把握し難いかもしくは両方だ」ということは成り立たない fact5: もしも「あの骨腫瘍は旅慣れないかあるいはそれは図り難いかあるいは両方ともだ」ということは成り立たないならばそれは把握し難いということはない ; $hypothesis$ = 「あの骨腫瘍は掻き易くないかまたはＳＭＯＮだ」ということは偽だ ; $proof$ = 
fact5 & fact1 -> int1: あの骨腫瘍は把握し難くない; fact2 -> int2: あの骨腫瘍は把握し難いということはないとしたら「それは掻き易くないかあるいはＳＭＯＮであるかもしくはどちらもである」ということは誤りだ; int1 & int2 -> hypothesis; __PROVED__
事実1: 「あの骨腫瘍は旅慣れないかあるいはそれは図り難い」ということは誤っている
事実2: 仮になんらかの物は把握し難くないとすれば「掻き易くないかもしくはＳＭＯＮであるかあるいはどちらもである」ということは間違っている
事実3: もし仮に「あの骨腫瘍は目まぐるしかない」ということは成り立てば「それは握り易くないかもしくはそれは掻き易い」ということは成り立たない
事実4: 「このＴＡＰＥは賢くないかまたはそれは把握し難いかもしくは両方だ」ということは成り立たない
事実5: もしも「あの骨腫瘍は旅慣れないかあるいはそれは図り難いかあるいは両方ともだ」ということは成り立たないならばそれは把握し難いということはない

仮説: 「あの骨腫瘍は掻き易くないかまたはＳＭＯＮだ」ということは偽だ
1. 事実5と事実1から、推論1: "あの骨腫瘍は把握し難くない"が導かれる
2. 事実2から、推論2: "あの骨腫瘍は把握し難いということはないとしたら「それは掻き易くないかあるいはＳＭＯＮであるかもしくはどちらもである」ということは誤りだ"が導かれる
3. 推論1と推論2から、仮説が導かれる

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