「もし荒っぽいとすれば滞り易くない」ものはある
fact1: この城造りが荒っぽいとしたらそれは滞り易くない
$facts$ = fact1: この城造りが荒っぽいとしたらそれは滞り易くない ; $hypothesis$ = 「もし荒っぽいとすれば滞り易くない」ものはある ; $proof$ = 
事実1: この城造りが荒っぽいとしたらそれは滞り易くない

仮説: 「もし荒っぽいとすれば滞り易くない」ものはある