その巻き尺は渡り合えない
fact1: もしなんらかの物は二十歳台であるとするとそれは渡り合える fact2: その巻き尺は執着する fact3: あの乗り降り自由は狭苦しい fact4: もしある物は執着するが狭苦しくないならばそれは渡り合えない fact5: もし仮にとある物はクライアント向けでないならば化粧品会社である fact6: もしもある物は狭苦しいかまたは執着するとすれば「それはクライアント向けでない」ということは本当だ fact7: もしもあの乗り降り自由は二十歳台でないとするとそれは執着する fact8: もし仮になにがしかのものが二十歳台でないならクライアント向けでなくて化粧品会社だ fact9: もし何らかのものが執着するとするとクライアント向けでない fact10: もしもあの乗り降り自由が化粧品会社であるならばあの巻き尺は二十歳台である
fact3 -> int1: あの乗り降り自由は狭苦しいかまたは執着する; fact6 -> int2: 仮にあの乗り降り自由が狭苦しいか執着するとするとクライアント向けだということはない; int1 & int2 -> int3: あの乗り降り自由はクライアント向けでない; fact5 -> int4: 仮にあの乗り降り自由はクライアント向けでないなら化粧品会社だ; int3 & int4 -> int5: あの乗り降り自由は化粧品会社だ; int5 & fact10 -> int6: その巻き尺は二十歳台である; fact1 -> int7: その巻き尺は二十歳台であるなら渡り合える; int6 & int7 -> hypothesis;
その巻き尺は渡り合えない
fact11 -> int8: その巻き尺は執着するがしかし狭苦しくないとすると「それは渡り合えない」ということは成り立つ; fact13 -> int9: 仮にその巻き尺は二十歳台でないとすれば「クライアント向けでないがしかし化粧品会社だ」ということは本当である;
$facts$ = fact1: もしなんらかの物は二十歳台であるとするとそれは渡り合える fact2: その巻き尺は執着する fact3: あの乗り降り自由は狭苦しい fact4: もしある物は執着するが狭苦しくないならばそれは渡り合えない fact5: もし仮にとある物はクライアント向けでないならば化粧品会社である fact6: もしもある物は狭苦しいかまたは執着するとすれば「それはクライアント向けでない」ということは本当だ fact7: もしもあの乗り降り自由は二十歳台でないとするとそれは執着する fact8: もし仮になにがしかのものが二十歳台でないならクライアント向けでなくて化粧品会社だ fact9: もし何らかのものが執着するとするとクライアント向けでない fact10: もしもあの乗り降り自由が化粧品会社であるならばあの巻き尺は二十歳台である ; $hypothesis$ = その巻き尺は渡り合えない ; $proof$ = 
fact3 -> int1: あの乗り降り自由は狭苦しいかまたは執着する; fact6 -> int2: 仮にあの乗り降り自由が狭苦しいか執着するとするとクライアント向けだということはない; int1 & int2 -> int3: あの乗り降り自由はクライアント向けでない; fact5 -> int4: 仮にあの乗り降り自由はクライアント向けでないなら化粧品会社だ; int3 & int4 -> int5: あの乗り降り自由は化粧品会社だ; int5 & fact10 -> int6: その巻き尺は二十歳台である; fact1 -> int7: その巻き尺は二十歳台であるなら渡り合える; int6 & int7 -> hypothesis; __DISPROVED__
事実1: もしなんらかの物は二十歳台であるとするとそれは渡り合える
事実2: その巻き尺は執着する
事実3: あの乗り降り自由は狭苦しい
事実4: もしある物は執着するが狭苦しくないならばそれは渡り合えない
事実5: もし仮にとある物はクライアント向けでないならば化粧品会社である
事実6: もしもある物は狭苦しいかまたは執着するとすれば「それはクライアント向けでない」ということは本当だ
事実7: もしもあの乗り降り自由は二十歳台でないとするとそれは執着する
事実8: もし仮になにがしかのものが二十歳台でないならクライアント向けでなくて化粧品会社だ
事実9: もし何らかのものが執着するとするとクライアント向けでない
事実10: もしもあの乗り降り自由が化粧品会社であるならばあの巻き尺は二十歳台である

仮説: その巻き尺は渡り合えない
1. 事実3から、推論1: "あの乗り降り自由は狭苦しいかまたは執着する"が導かれる
2. 事実6から、推論2: "仮にあの乗り降り自由が狭苦しいか執着するとするとクライアント向けだということはない"が導かれる
3. 推論1と推論2から、推論3: "あの乗り降り自由はクライアント向けでない"が導かれる
4. 事実5から、推論4: "仮にあの乗り降り自由はクライアント向けでないなら化粧品会社だ"が導かれる
5. 推論3と推論4から、推論5: "あの乗り降り自由は化粧品会社だ"が導かれる
6. 推論5と事実10から、推論6: "その巻き尺は二十歳台である"が導かれる
7. 事実1から、推論7: "その巻き尺は二十歳台であるなら渡り合える"が導かれる
8. 推論6と推論7から、仮説が否定される

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