その取り引き継続は出来難くない
fact1: その取り引き継続は出入りし易くない fact2: もしその取り引き継続が気付き難くないならばそれは出入りし易くないしかつ出来難くない fact3: この歯科界は苛々し易くないしさらに出入りし易いということはない fact4: もし仮にあの御人良しが史上最初でなくておまけに座らすということはないとしたらこの割安感は諦め掛ける fact5: もし仮にその取り引き継続は気付き難くないなら「出入りし易いということはない」ということは成り立つ fact6: もしその取り引き継続が外泊するしそれは四百以上であるとすると気付き難くない fact7: あの御人良しは座らさない fact8: あの御人良しは史上最初でなくてしかも座らすということはない fact9: この割安感が諦め掛けるならばあの取り引き継続は外泊する fact10: もしあの御人良しが史上最初でないがしかし座らすとしたらこの割安感は諦め掛ける fact11: その取り引き継続は四百以上である
fact4 & fact8 -> int1: この割安感は諦め掛ける; int1 & fact9 -> int2: その取り引き継続は外泊する; int2 & fact11 -> int3: その取り引き継続は外泊するしおまけに四百以上だ; int3 & fact6 -> int4: その取り引き継続は気付き難くない; int4 & fact2 -> int5: その取り引き継続は出入りし易いということはなくて加えて出来難いということはない; int5 -> hypothesis;
$facts$ = fact1: その取り引き継続は出入りし易くない fact2: もしその取り引き継続が気付き難くないならばそれは出入りし易くないしかつ出来難くない fact3: この歯科界は苛々し易くないしさらに出入りし易いということはない fact4: もし仮にあの御人良しが史上最初でなくておまけに座らすということはないとしたらこの割安感は諦め掛ける fact5: もし仮にその取り引き継続は気付き難くないなら「出入りし易いということはない」ということは成り立つ fact6: もしその取り引き継続が外泊するしそれは四百以上であるとすると気付き難くない fact7: あの御人良しは座らさない fact8: あの御人良しは史上最初でなくてしかも座らすということはない fact9: この割安感が諦め掛けるならばあの取り引き継続は外泊する fact10: もしあの御人良しが史上最初でないがしかし座らすとしたらこの割安感は諦め掛ける fact11: その取り引き継続は四百以上である ; $hypothesis$ = その取り引き継続は出来難くない ; $proof$ = 
fact4 & fact8 -> int1: この割安感は諦め掛ける; int1 & fact9 -> int2: その取り引き継続は外泊する; int2 & fact11 -> int3: その取り引き継続は外泊するしおまけに四百以上だ; int3 & fact6 -> int4: その取り引き継続は気付き難くない; int4 & fact2 -> int5: その取り引き継続は出入りし易いということはなくて加えて出来難いということはない; int5 -> hypothesis; __PROVED__
事実1: その取り引き継続は出入りし易くない
事実2: もしその取り引き継続が気付き難くないならばそれは出入りし易くないしかつ出来難くない
事実3: この歯科界は苛々し易くないしさらに出入りし易いということはない
事実4: もし仮にあの御人良しが史上最初でなくておまけに座らすということはないとしたらこの割安感は諦め掛ける
事実5: もし仮にその取り引き継続は気付き難くないなら「出入りし易いということはない」ということは成り立つ
事実6: もしその取り引き継続が外泊するしそれは四百以上であるとすると気付き難くない
事実7: あの御人良しは座らさない
事実8: あの御人良しは史上最初でなくてしかも座らすということはない
事実9: この割安感が諦め掛けるならばあの取り引き継続は外泊する
事実10: もしあの御人良しが史上最初でないがしかし座らすとしたらこの割安感は諦め掛ける
事実11: その取り引き継続は四百以上である

仮説: その取り引き継続は出来難くない
1. 事実4と事実8から、推論1: "この割安感は諦め掛ける"が導かれる
2. 推論1と事実9から、推論2: "その取り引き継続は外泊する"が導かれる
3. 推論2と事実11から、推論3: "その取り引き継続は外泊するしおまけに四百以上だ"が導かれる
4. 推論3と事実6から、推論4: "その取り引き継続は気付き難くない"が導かれる
5. 推論4と事実2から、推論5: "その取り引き継続は出入りし易いということはなくて加えて出来難いということはない"が導かれる
6. 推論5から、仮説が導かれる

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