あの点Ｘは差し上候うということはない
fact1: もしこの火宅が埃っぽいとするとそれは一眠りする fact2: 絵画世界は差し上候う fact3: 水道料金は悲しないし安しということはない fact4: 仮にあのリードが絵画世界でないかあるいはそれは安しないかあるいは両方ならそれは悪しくない fact5: もし仮にあの点Ｘが悪しいとするとそれは絵画世界だ fact6: なんらかの物がフォトだとしたらそれは似せる fact7: もし「なにがしかの物は差し上候わないし更にそれは安しない」ということは間違っているなら差し上候う fact8: あの点Ｘは悪しい fact9: もし何かは絵画世界であるならそれは悪しい fact10: 「この火宅は埃っぽい」ということは事実である fact11: 仮にとあるものが差し上候うとしたらそれは悪しい fact12: もし仮にこの火宅が一眠りするとするとそれは水道料金だ
fact5 & fact8 -> int1: あの点Ｘは絵画世界である; fact2 -> int2: あの点Ｘが絵画世界だとすると差し上候う; int1 & int2 -> hypothesis;
この日頃は絵画世界だ
fact14 -> int3: もしこの日頃が差し上候うとすれば悪しい; fact13 -> int4: 「この日頃は差し上候わないししかも安しない」ということは誤りであるとすれば差し上候う;
$facts$ = fact1: もしこの火宅が埃っぽいとするとそれは一眠りする fact2: 絵画世界は差し上候う fact3: 水道料金は悲しないし安しということはない fact4: 仮にあのリードが絵画世界でないかあるいはそれは安しないかあるいは両方ならそれは悪しくない fact5: もし仮にあの点Ｘが悪しいとするとそれは絵画世界だ fact6: なんらかの物がフォトだとしたらそれは似せる fact7: もし「なにがしかの物は差し上候わないし更にそれは安しない」ということは間違っているなら差し上候う fact8: あの点Ｘは悪しい fact9: もし何かは絵画世界であるならそれは悪しい fact10: 「この火宅は埃っぽい」ということは事実である fact11: 仮にとあるものが差し上候うとしたらそれは悪しい fact12: もし仮にこの火宅が一眠りするとするとそれは水道料金だ ; $hypothesis$ = あの点Ｘは差し上候うということはない ; $proof$ = 
fact5 & fact8 -> int1: あの点Ｘは絵画世界である; fact2 -> int2: あの点Ｘが絵画世界だとすると差し上候う; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしこの火宅が埃っぽいとするとそれは一眠りする
事実2: 絵画世界は差し上候う
事実3: 水道料金は悲しないし安しということはない
事実4: 仮にあのリードが絵画世界でないかあるいはそれは安しないかあるいは両方ならそれは悪しくない
事実5: もし仮にあの点Ｘが悪しいとするとそれは絵画世界だ
事実6: なんらかの物がフォトだとしたらそれは似せる
事実7: もし「なにがしかの物は差し上候わないし更にそれは安しない」ということは間違っているなら差し上候う
事実8: あの点Ｘは悪しい
事実9: もし何かは絵画世界であるならそれは悪しい
事実10: 「この火宅は埃っぽい」ということは事実である
事実11: 仮にとあるものが差し上候うとしたらそれは悪しい
事実12: もし仮にこの火宅が一眠りするとするとそれは水道料金だ

仮説: あの点Ｘは差し上候うということはない
1. 事実5と事実8から、推論1: "あの点Ｘは絵画世界である"が導かれる
2. 事実2から、推論2: "あの点Ｘが絵画世界だとすると差し上候う"が導かれる
3. 推論1と推論2から、仮説が否定される

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