あの現代書館は通暁しない
fact1: 「あの現代書館は面白おかしくなくてつやつやしない」ということは間違いだ fact2: もし「「あの現代書館が面白おかしくないしさらにつやつやしない」ということは間違いでない」ということは成り立たないならばそれは通暁しない
$facts$ = fact1: 「あの現代書館は面白おかしくなくてつやつやしない」ということは間違いだ fact2: もし「「あの現代書館が面白おかしくないしさらにつやつやしない」ということは間違いでない」ということは成り立たないならばそれは通暁しない ; $hypothesis$ = あの現代書館は通暁しない ; $proof$ = 
事実1: 「あの現代書館は面白おかしくなくてつやつやしない」ということは間違いだ
事実2: もし「「あの現代書館が面白おかしくないしさらにつやつやしない」ということは間違いでない」ということは成り立たないならばそれは通暁しない

仮説: あの現代書館は通暁しない