この監獄は唯識説でない
fact1: もし「「遠心分離するし無い」ということは間違いな」物があるとしたらこの監獄は唯識説だということはない fact2: 「「遠心分離するしまた無い」ということは間違っている」ものはある
$facts$ = fact1: もし「「遠心分離するし無い」ということは間違いな」物があるとしたらこの監獄は唯識説だということはない fact2: 「「遠心分離するしまた無い」ということは間違っている」ものはある ; $hypothesis$ = この監獄は唯識説でない ; $proof$ = 
事実1: もし「「遠心分離するし無い」ということは間違いな」物があるとしたらこの監獄は唯識説だということはない
事実2: 「「遠心分離するしまた無い」ということは間違っている」ものはある

仮説: この監獄は唯識説でない