その冷淡は厚ぼったくない
fact1: もし仮に「この包括遺贈は黒いがしかしそれは調停でない」ということは成り立たないとしたらその冷淡は厚ぼったい fact2: もし仮にこの包括遺贈が黒くないならその冷淡は厚ぼったい fact3: この包括遺贈が厚ぼったくないし加えて司祭達でないならその冷淡は厚ぼったくない fact4: 「この包括遺贈は黒いがしかしそれは調停でない」ということは真実であるということはない
fact1 & fact4 -> hypothesis;
fact1 & fact4 -> hypothesis;
その冷淡は厚ぼったくない
$facts$ = fact1: もし仮に「この包括遺贈は黒いがしかしそれは調停でない」ということは成り立たないとしたらその冷淡は厚ぼったい fact2: もし仮にこの包括遺贈が黒くないならその冷淡は厚ぼったい fact3: この包括遺贈が厚ぼったくないし加えて司祭達でないならその冷淡は厚ぼったくない fact4: 「この包括遺贈は黒いがしかしそれは調停でない」ということは真実であるということはない ; $hypothesis$ = その冷淡は厚ぼったくない ; $proof$ = 
fact1 & fact4 -> hypothesis; __DISPROVED__
事実1: もし仮に「この包括遺贈は黒いがしかしそれは調停でない」ということは成り立たないとしたらその冷淡は厚ぼったい
事実2: もし仮にこの包括遺贈が黒くないならその冷淡は厚ぼったい
事実3: この包括遺贈が厚ぼったくないし加えて司祭達でないならその冷淡は厚ぼったくない
事実4: 「この包括遺贈は黒いがしかしそれは調停でない」ということは真実であるということはない

仮説: その冷淡は厚ぼったくない
1. 事実1と事実4から、仮説が否定される

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