あの並列駐車は立証すということはない
fact1: 「御暇する」ものはある fact2: もしも「御暇する」物はあるとしたら「あの並列駐車は立証す」ということは正しい
$facts$ = fact1: 「御暇する」ものはある fact2: もしも「御暇する」物はあるとしたら「あの並列駐車は立証す」ということは正しい ; $hypothesis$ = あの並列駐車は立証すということはない ; $proof$ = 
事実1: 「御暇する」ものはある
事実2: もしも「御暇する」物はあるとしたら「あの並列駐車は立証す」ということは正しい

仮説: あの並列駐車は立証すということはない