「この下駄屋は興味深いということはなくて通り難くない」ということは嘘である
fact1: この脂肪は検定番号であるということはない fact2: 仮にこの脂肪が検定番号でないとするとこの下駄屋は興味深くないし通り難くない
$facts$ = fact1: この脂肪は検定番号であるということはない fact2: 仮にこの脂肪が検定番号でないとするとこの下駄屋は興味深くないし通り難くない ; $hypothesis$ = 「この下駄屋は興味深いということはなくて通り難くない」ということは嘘である ; $proof$ = 
事実1: この脂肪は検定番号であるということはない
事実2: 仮にこの脂肪が検定番号でないとするとこの下駄屋は興味深くないし通り難くない

仮説: 「この下駄屋は興味深いということはなくて通り難くない」ということは嘘である