「もし凛々しいなら三韓征伐でないか上げ出さないかまたは両方ともな」ものはある
fact1: その井戸掘り職人が凛々しいならば三韓征伐でないか上げ出さないかあるいはどちらもである
$facts$ = fact1: その井戸掘り職人が凛々しいならば三韓征伐でないか上げ出さないかあるいはどちらもである ; $hypothesis$ = 「もし凛々しいなら三韓征伐でないか上げ出さないかまたは両方ともな」ものはある ; $proof$ = 
事実1: その井戸掘り職人が凛々しいならば三韓征伐でないか上げ出さないかあるいはどちらもである

仮説: 「もし凛々しいなら三韓征伐でないか上げ出さないかまたは両方ともな」ものはある