この手技は期し難くない
fact1: もしもその旅程管理業務が挿入出来ないとしたらこの手技は期し難い fact2: もしその旅程管理業務が口腔内ならば挿入出来ない fact3: もし「その旅程管理業務は期し難くない」ということは事実であるとするとこの手技は挿入出来る fact4: その旅程管理業務は口腔内である
fact2 & fact4 -> int1: その旅程管理業務は挿入出来ない; int1 & fact1 -> hypothesis;
$facts$ = fact1: もしもその旅程管理業務が挿入出来ないとしたらこの手技は期し難い fact2: もしその旅程管理業務が口腔内ならば挿入出来ない fact3: もし「その旅程管理業務は期し難くない」ということは事実であるとするとこの手技は挿入出来る fact4: その旅程管理業務は口腔内である ; $hypothesis$ = この手技は期し難くない ; $proof$ = 
fact2 & fact4 -> int1: その旅程管理業務は挿入出来ない; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: もしもその旅程管理業務が挿入出来ないとしたらこの手技は期し難い
事実2: もしその旅程管理業務が口腔内ならば挿入出来ない
事実3: もし「その旅程管理業務は期し難くない」ということは事実であるとするとこの手技は挿入出来る
事実4: その旅程管理業務は口腔内である

仮説: この手技は期し難くない
1. 事実2と事実4から、推論1: "その旅程管理業務は挿入出来ない"が導かれる
2. 推論1と事実1から、仮説が否定される

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