「「あの推定は座り易い一方でパノラマでない」ということは間違いである」ということは確かだ
fact1: もしもその実験モデルは掴み取らないとすれば「あの推定は座り易いがしかしパノラマでない」ということは間違いだ fact2: その実験モデルは掴み取らない
$facts$ = fact1: もしもその実験モデルは掴み取らないとすれば「あの推定は座り易いがしかしパノラマでない」ということは間違いだ fact2: その実験モデルは掴み取らない ; $hypothesis$ = 「「あの推定は座り易い一方でパノラマでない」ということは間違いである」ということは確かだ ; $proof$ = 
事実1: もしもその実験モデルは掴み取らないとすれば「あの推定は座り易いがしかしパノラマでない」ということは間違いだ
事実2: その実験モデルは掴み取らない

仮説: 「「あの推定は座り易い一方でパノラマでない」ということは間違いである」ということは確かだ