この濱マイクは寄り集まらない
fact1: 仮にこの濱マイクが正規化するかあるいは文通しないかもしくは両方ともであるとしたらそれは寄り集まらない fact2: この濱マイクは正規化するかまたは文通しないかまたは両方だ
$facts$ = fact1: 仮にこの濱マイクが正規化するかあるいは文通しないかもしくは両方ともであるとしたらそれは寄り集まらない fact2: この濱マイクは正規化するかまたは文通しないかまたは両方だ ; $hypothesis$ = この濱マイクは寄り集まらない ; $proof$ = 
事実1: 仮にこの濱マイクが正規化するかあるいは文通しないかもしくは両方ともであるとしたらそれは寄り集まらない
事実2: この濱マイクは正規化するかまたは文通しないかまたは両方だ

仮説: この濱マイクは寄り集まらない