「あの分隊は資本力だ」ということは事実である
fact1: 「「素晴らしということはないかもしくは首尾一貫しないかどちらもである」ということは間違っている」ものがあるならあの分隊は資本力でない fact2: 「「素晴らしないかまたは首尾一貫するということはないかまたは両方ともだ」ということは間違っている」ものはある
$facts$ = fact1: 「「素晴らしということはないかもしくは首尾一貫しないかどちらもである」ということは間違っている」ものがあるならあの分隊は資本力でない fact2: 「「素晴らしないかまたは首尾一貫するということはないかまたは両方ともだ」ということは間違っている」ものはある ; $hypothesis$ = 「あの分隊は資本力だ」ということは事実である ; $proof$ = 
事実1: 「「素晴らしということはないかもしくは首尾一貫しないかどちらもである」ということは間違っている」ものがあるならあの分隊は資本力でない
事実2: 「「素晴らしないかまたは首尾一貫するということはないかまたは両方ともだ」ということは間違っている」ものはある

仮説: 「あの分隊は資本力だ」ということは事実である