「なにがしかの物は程遠くておまけにせせこましい」ということは成り立たない
fact1: この確信犯はせせこましい fact2: この微塵は程遠い fact3: もしこの確信犯が経ないが忙しいならばあの前年はせせこましくない fact4: 程遠い物はある fact5: なんらかのものがせせこましいということはないとしたら熱帯病であるしかつそれは程遠い fact6: 何かは台湾全土である fact7: この確信犯は程遠い
fact7 & fact1 -> int1: この確信犯は程遠くて加えてそれはせせこましい; int1 -> hypothesis;
この前年は熱帯病でまた程遠い
fact8 -> int2: もしこの前年がせせこましくないならそれは熱帯病だし更に程遠い;
$facts$ = fact1: この確信犯はせせこましい fact2: この微塵は程遠い fact3: もしこの確信犯が経ないが忙しいならばあの前年はせせこましくない fact4: 程遠い物はある fact5: なんらかのものがせせこましいということはないとしたら熱帯病であるしかつそれは程遠い fact6: 何かは台湾全土である fact7: この確信犯は程遠い ; $hypothesis$ = 「なにがしかの物は程遠くておまけにせせこましい」ということは成り立たない ; $proof$ = 
fact7 & fact1 -> int1: この確信犯は程遠くて加えてそれはせせこましい; int1 -> hypothesis; __DISPROVED__
事実1: この確信犯はせせこましい
事実2: この微塵は程遠い
事実3: もしこの確信犯が経ないが忙しいならばあの前年はせせこましくない
事実4: 程遠い物はある
事実5: なんらかのものがせせこましいということはないとしたら熱帯病であるしかつそれは程遠い
事実6: 何かは台湾全土である
事実7: この確信犯は程遠い

仮説: 「なにがしかの物は程遠くておまけにせせこましい」ということは成り立たない
1. 事実7と事実1から、推論1: "この確信犯は程遠くて加えてそれはせせこましい"が導かれる
2. 推論1から、仮説が否定される

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