あの斎王は押し始めなくてその上それは胴丸でない
fact1: 「記憶出来ない」ものはある fact2: 仮に何らかのものが記憶出来ないとするとあの斎王は押し始めなくてそれは胴丸だということはない
$facts$ = fact1: 「記憶出来ない」ものはある fact2: 仮に何らかのものが記憶出来ないとするとあの斎王は押し始めなくてそれは胴丸だということはない ; $hypothesis$ = あの斎王は押し始めなくてその上それは胴丸でない ; $proof$ = 
事実1: 「記憶出来ない」ものはある
事実2: 仮に何らかのものが記憶出来ないとするとあの斎王は押し始めなくてそれは胴丸だということはない

仮説: あの斎王は押し始めなくてその上それは胴丸でない