あの取り下げは看過し難い
fact1: 仮に「あの取り下げは押し進めないがしかし経理する」ということは成り立たないとすれば看過し難くない fact2: 「あの取り下げは押し進めるということはないがしかし経理する」ということは誤っている
$facts$ = fact1: 仮に「あの取り下げは押し進めないがしかし経理する」ということは成り立たないとすれば看過し難くない fact2: 「あの取り下げは押し進めるということはないがしかし経理する」ということは誤っている ; $hypothesis$ = あの取り下げは看過し難い ; $proof$ = 
事実1: 仮に「あの取り下げは押し進めないがしかし経理する」ということは成り立たないとすれば看過し難くない
事実2: 「あの取り下げは押し進めるということはないがしかし経理する」ということは誤っている

仮説: あの取り下げは看過し難い