その中国研究は三十一書房でない
fact1: あの処方箋はでっかい fact2: あの処方箋がでっかいならばその中国研究は三十一書房だ
$facts$ = fact1: あの処方箋はでっかい fact2: あの処方箋がでっかいならばその中国研究は三十一書房だ ; $hypothesis$ = その中国研究は三十一書房でない ; $proof$ = 
事実1: あの処方箋はでっかい
事実2: あの処方箋がでっかいならばその中国研究は三十一書房だ

仮説: その中国研究は三十一書房でない