あの六月以上は進み易いということはない
fact1: 「「「考え付くがしかし下書きだということはない」ということは成り立つ」ということは間違いな」物はある fact2: 「「考え付くしおまけに下書きでない」ということは成り立たない」物があるならあの六月以上は進み易くない
$facts$ = fact1: 「「「考え付くがしかし下書きだということはない」ということは成り立つ」ということは間違いな」物はある fact2: 「「考え付くしおまけに下書きでない」ということは成り立たない」物があるならあの六月以上は進み易くない ; $hypothesis$ = あの六月以上は進み易いということはない ; $proof$ = 
事実1: 「「「考え付くがしかし下書きだということはない」ということは成り立つ」ということは間違いな」物はある
事実2: 「「考え付くしおまけに下書きでない」ということは成り立たない」物があるならあの六月以上は進み易くない

仮説: あの六月以上は進み易いということはない