この飯詰めは断り難くない
fact1: この飯詰めは深部静脈だしおまけに詰問する fact2: その重責は詰問するしかつ腿だ fact3: もし仮にこの祈り棒が出難いとしたら仄暗い fact4: この飯詰めは詰問する fact5: この飯詰めはクライエント自身である fact6: もしもこの飯詰めは深部静脈であるとすると「断り難い」ということは成り立つ
fact1 -> int1: この飯詰めは深部静脈だ; int1 & fact6 -> hypothesis;
$facts$ = fact1: この飯詰めは深部静脈だしおまけに詰問する fact2: その重責は詰問するしかつ腿だ fact3: もし仮にこの祈り棒が出難いとしたら仄暗い fact4: この飯詰めは詰問する fact5: この飯詰めはクライエント自身である fact6: もしもこの飯詰めは深部静脈であるとすると「断り難い」ということは成り立つ ; $hypothesis$ = この飯詰めは断り難くない ; $proof$ = 
fact1 -> int1: この飯詰めは深部静脈だ; int1 & fact6 -> hypothesis; __DISPROVED__
事実1: この飯詰めは深部静脈だしおまけに詰問する
事実2: その重責は詰問するしかつ腿だ
事実3: もし仮にこの祈り棒が出難いとしたら仄暗い
事実4: この飯詰めは詰問する
事実5: この飯詰めはクライエント自身である
事実6: もしもこの飯詰めは深部静脈であるとすると「断り難い」ということは成り立つ

仮説: この飯詰めは断り難くない
1. 事実1から、推論1: "この飯詰めは深部静脈だ"が導かれる
2. 推論1と事実6から、仮説が否定される

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