「「その主計局は止む無しけど結び付き易いということはない」ということは正しくない」ということは事実である
fact1: その自動現像機は錨泊するとすると「その主計局は止む無しけどそれは結び付き易いということはない」ということは事実と異なる fact2: あの名詞表現は錨泊する fact3: その自動現像機は錨泊する
$facts$ = fact1: その自動現像機は錨泊するとすると「その主計局は止む無しけどそれは結び付き易いということはない」ということは事実と異なる fact2: あの名詞表現は錨泊する fact3: その自動現像機は錨泊する ; $hypothesis$ = 「「その主計局は止む無しけど結び付き易いということはない」ということは正しくない」ということは事実である ; $proof$ = 
事実1: その自動現像機は錨泊するとすると「その主計局は止む無しけどそれは結び付き易いということはない」ということは事実と異なる
事実2: あの名詞表現は錨泊する
事実3: その自動現像機は錨泊する

仮説: 「「その主計局は止む無しけど結び付き易いということはない」ということは正しくない」ということは事実である