「「その標準ケースは極まりなくないが合衆国だ」ということは事実と異なる」ということは確かだ
fact1: その焦げ目は極まりないということはない fact2: もし仮になにがしかのものは極限状況でないとするとそれは止揚しない fact3: その標準ケースは形成され易いということはない fact4: もし仮にこのインタレストは止揚しないとすれば「形成され易いということはないがしかし終生だ」ということは誤りである fact5: もしも何らかのものが形成され易いとするとそれは極まりなくない物で合衆国である fact6: もしその標準ケースは形成され易くないなら「極まりないということはないけど合衆国だ」ということは間違いだ
fact6 & fact3 -> hypothesis;
fact6 & fact3 -> hypothesis;
「このインタレストは形成され易いということはないけれどそれは終生だ」ということは間違いだ
fact8 -> int1: 仮に「このインタレストは極限状況でない」ということは偽でないとすればそれは止揚しない;
$facts$ = fact1: その焦げ目は極まりないということはない fact2: もし仮になにがしかのものは極限状況でないとするとそれは止揚しない fact3: その標準ケースは形成され易いということはない fact4: もし仮にこのインタレストは止揚しないとすれば「形成され易いということはないがしかし終生だ」ということは誤りである fact5: もしも何らかのものが形成され易いとするとそれは極まりなくない物で合衆国である fact6: もしその標準ケースは形成され易くないなら「極まりないということはないけど合衆国だ」ということは間違いだ ; $hypothesis$ = 「「その標準ケースは極まりなくないが合衆国だ」ということは事実と異なる」ということは確かだ ; $proof$ = 
fact6 & fact3 -> hypothesis; __PROVED__
事実1: その焦げ目は極まりないということはない
事実2: もし仮になにがしかのものは極限状況でないとするとそれは止揚しない
事実3: その標準ケースは形成され易いということはない
事実4: もし仮にこのインタレストは止揚しないとすれば「形成され易いということはないがしかし終生だ」ということは誤りである
事実5: もしも何らかのものが形成され易いとするとそれは極まりなくない物で合衆国である
事実6: もしその標準ケースは形成され易くないなら「極まりないということはないけど合衆国だ」ということは間違いだ

仮説: 「「その標準ケースは極まりなくないが合衆国だ」ということは事実と異なる」ということは確かだ
1. 事実6と事実3から、仮説が導かれる

よって、仮説が証明されました。