このコブラは参詣しない
fact1: この多臓器不全は軽ーい fact2: 仮にこの多臓器不全が軽ーいとするとこのコブラはロックフェラー財団であるということはない一方で参詣する fact3: 「このコブラはロックフェラー財団でない」ということは正しい fact4: 仮にこの多臓器不全が軽ーいならばこのコブラはロックフェラー財団でない
fact2 & fact1 -> int1: このコブラはロックフェラー財団でないけど参詣する; int1 -> hypothesis;
$facts$ = fact1: この多臓器不全は軽ーい fact2: 仮にこの多臓器不全が軽ーいとするとこのコブラはロックフェラー財団であるということはない一方で参詣する fact3: 「このコブラはロックフェラー財団でない」ということは正しい fact4: 仮にこの多臓器不全が軽ーいならばこのコブラはロックフェラー財団でない ; $hypothesis$ = このコブラは参詣しない ; $proof$ = 
fact2 & fact1 -> int1: このコブラはロックフェラー財団でないけど参詣する; int1 -> hypothesis; __DISPROVED__
事実1: この多臓器不全は軽ーい
事実2: 仮にこの多臓器不全が軽ーいとするとこのコブラはロックフェラー財団であるということはない一方で参詣する
事実3: 「このコブラはロックフェラー財団でない」ということは正しい
事実4: 仮にこの多臓器不全が軽ーいならばこのコブラはロックフェラー財団でない

仮説: このコブラは参詣しない
1. 事実2と事実1から、推論1: "このコブラはロックフェラー財団でないけど参詣する"が導かれる
2. 推論1から、仮説が否定される

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