「その口径蝕は膣性交でない」ということは事実である
fact1: その口径蝕は膣性交でないししかも静か過ぎるということはない
$facts$ = fact1: その口径蝕は膣性交でないししかも静か過ぎるということはない ; $hypothesis$ = 「その口径蝕は膣性交でない」ということは事実である ; $proof$ = 
事実1: その口径蝕は膣性交でないししかも静か過ぎるということはない

仮説: 「その口径蝕は膣性交でない」ということは事実である