そのサブユニットは塾れない
fact1: そのサブユニットは塾れないし更にそれは移管しない fact2: そのサブユニットは移管しない fact3: 仮にあの四年前が移管しないならそれは新規参入しなくてかつ塾れない
fact1 -> hypothesis;
fact1 -> hypothesis;
あの四年前は新規参入しないししかもそれは塾れない
$facts$ = fact1: そのサブユニットは塾れないし更にそれは移管しない fact2: そのサブユニットは移管しない fact3: 仮にあの四年前が移管しないならそれは新規参入しなくてかつ塾れない ; $hypothesis$ = そのサブユニットは塾れない ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: そのサブユニットは塾れないし更にそれは移管しない
事実2: そのサブユニットは移管しない
事実3: 仮にあの四年前が移管しないならそれは新規参入しなくてかつ塾れない

仮説: そのサブユニットは塾れない
1. 事実1から、仮説が導かれる

よって、仮説が証明されました。