「「もし仮に十万冊ならば離婚意思でない」ものはある」ということは本当でない
fact1: 十万冊は離婚意思でない fact2: もし仮にその任期中は十万冊だとすれば「離婚意思である」ということは真実である
fact1 -> int1: その任期中が十万冊だとしたらそれは離婚意思でない; int1 -> hypothesis;
$facts$ = fact1: 十万冊は離婚意思でない fact2: もし仮にその任期中は十万冊だとすれば「離婚意思である」ということは真実である ; $hypothesis$ = 「「もし仮に十万冊ならば離婚意思でない」ものはある」ということは本当でない ; $proof$ = 
fact1 -> int1: その任期中が十万冊だとしたらそれは離婚意思でない; int1 -> hypothesis; __DISPROVED__
事実1: 十万冊は離婚意思でない
事実2: もし仮にその任期中は十万冊だとすれば「離婚意思である」ということは真実である

仮説: 「「もし仮に十万冊ならば離婚意思でない」ものはある」ということは本当でない
1. 事実1から、推論1: "その任期中が十万冊だとしたらそれは離婚意思でない"が導かれる
2. 推論1から、仮説が否定される

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