「仮に古代ローマ人でないとしたら「堅苦しいということはないがしかし奇想だ」ということは誤りな」ものはある
fact1: この潜竜は古代ローマ人であるということはないなら「堅苦しくない一方で奇想である」ということは真実でない
$facts$ = fact1: この潜竜は古代ローマ人であるということはないなら「堅苦しくない一方で奇想である」ということは真実でない ; $hypothesis$ = 「仮に古代ローマ人でないとしたら「堅苦しいということはないがしかし奇想だ」ということは誤りな」ものはある ; $proof$ = 
事実1: この潜竜は古代ローマ人であるということはないなら「堅苦しくない一方で奇想である」ということは真実でない

仮説: 「仮に古代ローマ人でないとしたら「堅苦しいということはないがしかし奇想だ」ということは誤りな」ものはある