「あのプロトコル番号は面映ゆい」ということは確かである
fact1: 「あの蛾は沿海州でなくておまけにそれは倹しいということはない」ということは成り立たない fact2: もしも「あの蛾は沿海州だということはないし倹しかない」ということは誤っているとすれば「あのプロトコル番号は面映ゆい」ということは成り立つ
$facts$ = fact1: 「あの蛾は沿海州でなくておまけにそれは倹しいということはない」ということは成り立たない fact2: もしも「あの蛾は沿海州だということはないし倹しかない」ということは誤っているとすれば「あのプロトコル番号は面映ゆい」ということは成り立つ ; $hypothesis$ = 「あのプロトコル番号は面映ゆい」ということは確かである ; $proof$ = 
事実1: 「あの蛾は沿海州でなくておまけにそれは倹しいということはない」ということは成り立たない
事実2: もしも「あの蛾は沿海州だということはないし倹しかない」ということは誤っているとすれば「あのプロトコル番号は面映ゆい」ということは成り立つ

仮説: 「あのプロトコル番号は面映ゆい」ということは確かである