「この常傭量は刺激しなくて加えてさり気無くない」ということは成り立たない
fact1: もし仮にこの常傭量が刺激しないとしたらこの顆粒球は入り易くなくておまけにさり気無くない fact2: 仮になにがしかの物はテル＆ファックスであるけど薄闇でないとしたら気兼ねしない fact3: もしもこの顆粒球が入り易くないとしたらこの常傭量は刺激するということはないしそれはさり気無くない fact4: この家庭医は刺激しないしまたそれは溜まり易くない fact5: 仮になにかは気兼ねしないとしたら入り易いということはない fact6: この明星はさり気無くない fact7: この顆粒球は刺激しない fact8: この顆粒球は入り易くない fact9: この顆粒球はさり気無いということはない
fact3 & fact8 -> hypothesis;
fact3 & fact8 -> hypothesis;
「この常傭量は刺激しなくてそれにそれはさり気無くない」ということは嘘である
fact11 -> int1: 仮にこの常傭量が気兼ねしないならそれは入り易いということはない; fact10 -> int2: 仮にこの常傭量はテル＆ファックスだけど薄闇であるということはないならば気兼ねしない;
$facts$ = fact1: もし仮にこの常傭量が刺激しないとしたらこの顆粒球は入り易くなくておまけにさり気無くない fact2: 仮になにがしかの物はテル＆ファックスであるけど薄闇でないとしたら気兼ねしない fact3: もしもこの顆粒球が入り易くないとしたらこの常傭量は刺激するということはないしそれはさり気無くない fact4: この家庭医は刺激しないしまたそれは溜まり易くない fact5: 仮になにかは気兼ねしないとしたら入り易いということはない fact6: この明星はさり気無くない fact7: この顆粒球は刺激しない fact8: この顆粒球は入り易くない fact9: この顆粒球はさり気無いということはない ; $hypothesis$ = 「この常傭量は刺激しなくて加えてさり気無くない」ということは成り立たない ; $proof$ = 
fact3 & fact8 -> hypothesis; __DISPROVED__
事実1: もし仮にこの常傭量が刺激しないとしたらこの顆粒球は入り易くなくておまけにさり気無くない
事実2: 仮になにがしかの物はテル＆ファックスであるけど薄闇でないとしたら気兼ねしない
事実3: もしもこの顆粒球が入り易くないとしたらこの常傭量は刺激するということはないしそれはさり気無くない
事実4: この家庭医は刺激しないしまたそれは溜まり易くない
事実5: 仮になにかは気兼ねしないとしたら入り易いということはない
事実6: この明星はさり気無くない
事実7: この顆粒球は刺激しない
事実8: この顆粒球は入り易くない
事実9: この顆粒球はさり気無いということはない

仮説: 「この常傭量は刺激しなくて加えてさり気無くない」ということは成り立たない
1. 事実3と事実8から、仮説が否定される

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