この遺産が紛糾すれば引き寄せない
fact1: なにかは紛糾するとすれば引き寄せない fact2: もしもある物は紛糾すれば「引き寄せる」ということは本当である
fact1 -> hypothesis;
$facts$ = fact1: なにかは紛糾するとすれば引き寄せない fact2: もしもある物は紛糾すれば「引き寄せる」ということは本当である ; $hypothesis$ = この遺産が紛糾すれば引き寄せない ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: なにかは紛糾するとすれば引き寄せない
事実2: もしもある物は紛糾すれば「引き寄せる」ということは本当である

仮説: この遺産が紛糾すれば引き寄せない
1. 事実1から、仮説が導かれる

よって、仮説が証明されました。