「あの刻が文字列データでないししかも下ろし易くないとするとあの刻は仕様モレだ」ということは間違いである
fact1: とある物は文字列データでないしそれに下ろし易いということはないとすると仕様モレである
$facts$ = fact1: とある物は文字列データでないしそれに下ろし易いということはないとすると仕様モレである ; $hypothesis$ = 「あの刻が文字列データでないししかも下ろし易くないとするとあの刻は仕様モレだ」ということは間違いである ; $proof$ = 
事実1: とある物は文字列データでないしそれに下ろし易いということはないとすると仕様モレである

仮説: 「あの刻が文字列データでないししかも下ろし易くないとするとあの刻は仕様モレだ」ということは間違いである