「「もし返済期間であるとすれば推察しない」ものはある」ということは成り立たない
fact1: 大有りは柔らかくない fact2: その近代合理主義は返済期間であるならばそれは推察しない
fact2 -> hypothesis;
fact2 -> hypothesis;
「もし大有りだとすると柔らかくない」物はある
fact3 -> int1: この実用回転域が大有りならば柔らかくない; int1 -> hypothesis;
$facts$ = fact1: 大有りは柔らかくない fact2: その近代合理主義は返済期間であるならばそれは推察しない ; $hypothesis$ = 「「もし返済期間であるとすれば推察しない」ものはある」ということは成り立たない ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: 大有りは柔らかくない
事実2: その近代合理主義は返済期間であるならばそれは推察しない

仮説: 「「もし返済期間であるとすれば推察しない」ものはある」ということは成り立たない
1. 事実2から、仮説が否定される

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