その細胞質内は相即不離でない
fact1: その細胞質内は法体系でない fact2: もし仮にその細胞質内は法体系でないならばそれは相即不離でない
$facts$ = fact1: その細胞質内は法体系でない fact2: もし仮にその細胞質内は法体系でないならばそれは相即不離でない ; $hypothesis$ = その細胞質内は相即不離でない ; $proof$ = 
事実1: その細胞質内は法体系でない
事実2: もし仮にその細胞質内は法体系でないならばそれは相即不離でない

仮説: その細胞質内は相即不離でない