「「あの管理メカニズムは言い終わるかもしくはそれは気高しないかまたはどちらもだ」ということは確かだ」ということは確かでない
fact1: もし「あの管理メカニズムはフライトでない」ということは成り立つとするとそれは言い終わるか気高しないか両方ともである fact2: あの管理メカニズムはフライトだということはない
$facts$ = fact1: もし「あの管理メカニズムはフライトでない」ということは成り立つとするとそれは言い終わるか気高しないか両方ともである fact2: あの管理メカニズムはフライトだということはない ; $hypothesis$ = 「「あの管理メカニズムは言い終わるかもしくはそれは気高しないかまたはどちらもだ」ということは確かだ」ということは確かでない ; $proof$ = 
事実1: もし「あの管理メカニズムはフライトでない」ということは成り立つとするとそれは言い終わるか気高しないか両方ともである
事実2: あの管理メカニズムはフライトだということはない

仮説: 「「あの管理メカニズムは言い終わるかもしくはそれは気高しないかまたはどちらもだ」ということは確かだ」ということは確かでない