「もし允許状であるかまたは空しかないかもしくは両方ともならばマクロ政策な」ものはある
fact1: もしあの五言詩註本が允許状であるかまたはそれが空しかないとすればマクロ政策である
$facts$ = fact1: もしあの五言詩註本が允許状であるかまたはそれが空しかないとすればマクロ政策である ; $hypothesis$ = 「もし允許状であるかまたは空しかないかもしくは両方ともならばマクロ政策な」ものはある ; $proof$ = 
事実1: もしあの五言詩註本が允許状であるかまたはそれが空しかないとすればマクロ政策である

仮説: 「もし允許状であるかまたは空しかないかもしくは両方ともならばマクロ政策な」ものはある