このアンプレヤブルは正業でない
fact1: 「この皇館は湿っぽい」ということは成り立つ fact2: あの補充は舐るしその上湿っぽい fact3: あの補充は舐る fact4: もしあの補充が湿っぽいならばこのアンプレヤブルは正業だ fact5: もしも「とあるものは正業であるし更にそれは湿っぽい」ということは事実でないとするとそれは正業であるということはない
fact2 -> int1: あの補充は湿っぽい; int1 & fact4 -> hypothesis;
このアンプレヤブルは正業でない
fact6 -> int2: 「このアンプレヤブルが正業だし湿っぽい」ということは間違っているとしたらそれは正業でない;
$facts$ = fact1: 「この皇館は湿っぽい」ということは成り立つ fact2: あの補充は舐るしその上湿っぽい fact3: あの補充は舐る fact4: もしあの補充が湿っぽいならばこのアンプレヤブルは正業だ fact5: もしも「とあるものは正業であるし更にそれは湿っぽい」ということは事実でないとするとそれは正業であるということはない ; $hypothesis$ = このアンプレヤブルは正業でない ; $proof$ = 
fact2 -> int1: あの補充は湿っぽい; int1 & fact4 -> hypothesis; __DISPROVED__
事実1: 「この皇館は湿っぽい」ということは成り立つ
事実2: あの補充は舐るしその上湿っぽい
事実3: あの補充は舐る
事実4: もしあの補充が湿っぽいならばこのアンプレヤブルは正業だ
事実5: もしも「とあるものは正業であるし更にそれは湿っぽい」ということは事実でないとするとそれは正業であるということはない

仮説: このアンプレヤブルは正業でない
1. 事実2から、推論1: "あの補充は湿っぽい"が導かれる
2. 推論1と事実4から、仮説が否定される

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