このインド名は御存じ無くない
fact1: このインド名は呪わしくて加えて御存じ無い fact2: 切れ易い物は御存じ無くないし呪わしいということはない fact3: このＣ社は御存じ無いしさらに保険金目的である
fact1 -> hypothesis;
fact1 -> hypothesis;
このインド名は御存じ無くない
fact4 -> int1: もしもこのインド名が切れ易いとするとそれは御存じ無くないしその上呪わしくない;
$facts$ = fact1: このインド名は呪わしくて加えて御存じ無い fact2: 切れ易い物は御存じ無くないし呪わしいということはない fact3: このＣ社は御存じ無いしさらに保険金目的である ; $hypothesis$ = このインド名は御存じ無くない ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: このインド名は呪わしくて加えて御存じ無い
事実2: 切れ易い物は御存じ無くないし呪わしいということはない
事実3: このＣ社は御存じ無いしさらに保険金目的である

仮説: このインド名は御存じ無くない
1. 事実1から、仮説が否定される

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