なんらかの物は当たり難い
fact1: このＧＨＳ‐Ｒは剥げ落ちる fact2: 仮にあの新業態は剥げ落ちれば「あの樋屋バーンは招待しないしまた根菜類でない」ということは嘘だ fact3: なんらかのものは招待する fact4: あの樋屋バーンは頼み難い fact5: 「何らかのものは剥げ落ちるがしかしあどけなくない」ということは誤っているとすればそれはあどけない fact6: あの新業態は剥げ落ちる fact7: 「あの樋屋バーンは招待しなくてまたそれは根菜類でない」ということは偽であるとするとあどけなくない fact8: 「あの樋屋バーンは招待するということはない一方で根菜類である」ということは偽である fact9: あどけなくない物は頼み難いし加えて当たり難い
fact2 & fact6 -> int1: 「あの樋屋バーンは招待しなくてその上根菜類でない」ということは成り立たない; int1 & fact7 -> int2: あの樋屋バーンはあどけなくない; fact9 -> int3: もしも「あの樋屋バーンはあどけなくない」ということは本当ならば頼み難いししかもそれは当たり難い; int2 & int3 -> int4: あの樋屋バーンが頼み難いしその上それは当たり難い; int4 -> int5: あの樋屋バーンは当たり難い; int5 -> hypothesis;
あの先物レートはあどけない
fact10 -> int6: もしも「あの先物レートは剥げ落ちるけどあどけなくない」ということは成り立たないとするとあどけない;
$facts$ = fact1: このＧＨＳ‐Ｒは剥げ落ちる fact2: 仮にあの新業態は剥げ落ちれば「あの樋屋バーンは招待しないしまた根菜類でない」ということは嘘だ fact3: なんらかのものは招待する fact4: あの樋屋バーンは頼み難い fact5: 「何らかのものは剥げ落ちるがしかしあどけなくない」ということは誤っているとすればそれはあどけない fact6: あの新業態は剥げ落ちる fact7: 「あの樋屋バーンは招待しなくてまたそれは根菜類でない」ということは偽であるとするとあどけなくない fact8: 「あの樋屋バーンは招待するということはない一方で根菜類である」ということは偽である fact9: あどけなくない物は頼み難いし加えて当たり難い ; $hypothesis$ = なんらかの物は当たり難い ; $proof$ = 
fact2 & fact6 -> int1: 「あの樋屋バーンは招待しなくてその上根菜類でない」ということは成り立たない; int1 & fact7 -> int2: あの樋屋バーンはあどけなくない; fact9 -> int3: もしも「あの樋屋バーンはあどけなくない」ということは本当ならば頼み難いししかもそれは当たり難い; int2 & int3 -> int4: あの樋屋バーンが頼み難いしその上それは当たり難い; int4 -> int5: あの樋屋バーンは当たり難い; int5 -> hypothesis; __PROVED__
事実1: このＧＨＳ‐Ｒは剥げ落ちる
事実2: 仮にあの新業態は剥げ落ちれば「あの樋屋バーンは招待しないしまた根菜類でない」ということは嘘だ
事実3: なんらかのものは招待する
事実4: あの樋屋バーンは頼み難い
事実5: 「何らかのものは剥げ落ちるがしかしあどけなくない」ということは誤っているとすればそれはあどけない
事実6: あの新業態は剥げ落ちる
事実7: 「あの樋屋バーンは招待しなくてまたそれは根菜類でない」ということは偽であるとするとあどけなくない
事実8: 「あの樋屋バーンは招待するということはない一方で根菜類である」ということは偽である
事実9: あどけなくない物は頼み難いし加えて当たり難い

仮説: なんらかの物は当たり難い
1. 事実2と事実6から、推論1: "「あの樋屋バーンは招待しなくてその上根菜類でない」ということは成り立たない"が導かれる
2. 推論1と事実7から、推論2: "あの樋屋バーンはあどけなくない"が導かれる
3. 事実9から、推論3: "もしも「あの樋屋バーンはあどけなくない」ということは本当ならば頼み難いししかもそれは当たり難い"が導かれる
4. 推論2と推論3から、推論4: "あの樋屋バーンが頼み難いしその上それは当たり難い"が導かれる
5. 推論4から、推論5: "あの樋屋バーンは当たり難い"が導かれる
6. 推論5から、仮説が導かれる

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