「あの松の内は開かないがしかし二πν零Ｘだ」ということは間違っている
fact1: あの単路は開くということはない fact2: あの松の内は開くということはない fact3: 「あの松の内は二πν零Ｘである」ということは成り立つ
$facts$ = fact1: あの単路は開くということはない fact2: あの松の内は開くということはない fact3: 「あの松の内は二πν零Ｘである」ということは成り立つ ; $hypothesis$ = 「あの松の内は開かないがしかし二πν零Ｘだ」ということは間違っている ; $proof$ = 
事実1: あの単路は開くということはない
事実2: あの松の内は開くということはない
事実3: 「あの松の内は二πν零Ｘである」ということは成り立つ

仮説: 「あの松の内は開かないがしかし二πν零Ｘだ」ということは間違っている