「この大系が多いということはないけれど遅いとしたらこの大系は二部式でない」ということは成り立たない
fact1: 多くないしその上遅いものは二部式でない
$facts$ = fact1: 多くないしその上遅いものは二部式でない ; $hypothesis$ = 「この大系が多いということはないけれど遅いとしたらこの大系は二部式でない」ということは成り立たない ; $proof$ = 
事実1: 多くないしその上遅いものは二部式でない

仮説: 「この大系が多いということはないけれど遅いとしたらこの大系は二部式でない」ということは成り立たない