このα型は読み切らない
fact1: 仮にあの泊まり掛けが返信しなくておまけに正犯でないとしたらこのα型は読み切るということはない fact2: あの泊まり掛けは返信しないしさらに正犯でない
$facts$ = fact1: 仮にあの泊まり掛けが返信しなくておまけに正犯でないとしたらこのα型は読み切るということはない fact2: あの泊まり掛けは返信しないしさらに正犯でない ; $hypothesis$ = このα型は読み切らない ; $proof$ = 
事実1: 仮にあの泊まり掛けが返信しなくておまけに正犯でないとしたらこのα型は読み切るということはない
事実2: あの泊まり掛けは返信しないしさらに正犯でない

仮説: このα型は読み切らない