この任意設置は合併時である
fact1: この任意設置は御城下でない fact2: もしもこの任意設置は御城下であるということはないならば合併時でない
$facts$ = fact1: この任意設置は御城下でない fact2: もしもこの任意設置は御城下であるということはないならば合併時でない ; $hypothesis$ = この任意設置は合併時である ; $proof$ = 
事実1: この任意設置は御城下でない
事実2: もしもこの任意設置は御城下であるということはないならば合併時でない

仮説: この任意設置は合併時である