もし仮に「この粛正は過ごし易いかまたはそれは残留組でない」ということは間違っているとするとそれはし辛い
fact1: 「何かは過ごし易いかまたは残留組であるということはないか両方だ」ということは間違っているとするとし辛い fact2: もし何かは過ごし易いかそれは残留組でないかまたは両方ともだとすればし辛い
fact1 -> hypothesis;
fact1 -> hypothesis;
$facts$ = fact1: 「何かは過ごし易いかまたは残留組であるということはないか両方だ」ということは間違っているとするとし辛い fact2: もし何かは過ごし易いかそれは残留組でないかまたは両方ともだとすればし辛い ; $hypothesis$ = もし仮に「この粛正は過ごし易いかまたはそれは残留組でない」ということは間違っているとするとそれはし辛い ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: 「何かは過ごし易いかまたは残留組であるということはないか両方だ」ということは間違っているとするとし辛い
事実2: もし何かは過ごし易いかそれは残留組でないかまたは両方ともだとすればし辛い

仮説: もし仮に「この粛正は過ごし易いかまたはそれは残留組でない」ということは間違っているとするとそれはし辛い
1. 事実1から、仮説が導かれる

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