「訝しいとしたら「正食でないしさらに十年版でない」ということは成り立たない」ものはある
fact1: もし何らかのものは訝しいとしたら「正食でないが十年版である」ということは事実と異なる fact2: 訝しいものは正食でなくてしかも十年版であるということはない fact3: もしもなんらかのものは訝しいならば「「それは正食であるということはなくておまけに十年版でない」ということは確かだ」ということは偽である fact4: もしもこの諸現象は訝しいならば「それは正食でないがしかし十年版である」ということは誤っている fact5: もしもこの諸現象が訝しいとしたら正食でないし十年版でない fact6: もし仮に何かは訝しいとすれば「それが正食だしそれに十年版でない」ということは間違っている
fact3 -> int1: この諸現象は訝しいなら「正食でなくて更に十年版だということはない」ということは嘘だ; int1 -> hypothesis;
$facts$ = fact1: もし何らかのものは訝しいとしたら「正食でないが十年版である」ということは事実と異なる fact2: 訝しいものは正食でなくてしかも十年版であるということはない fact3: もしもなんらかのものは訝しいならば「「それは正食であるということはなくておまけに十年版でない」ということは確かだ」ということは偽である fact4: もしもこの諸現象は訝しいならば「それは正食でないがしかし十年版である」ということは誤っている fact5: もしもこの諸現象が訝しいとしたら正食でないし十年版でない fact6: もし仮に何かは訝しいとすれば「それが正食だしそれに十年版でない」ということは間違っている ; $hypothesis$ = 「訝しいとしたら「正食でないしさらに十年版でない」ということは成り立たない」ものはある ; $proof$ = 
fact3 -> int1: この諸現象は訝しいなら「正食でなくて更に十年版だということはない」ということは嘘だ; int1 -> hypothesis; __PROVED__
事実1: もし何らかのものは訝しいとしたら「正食でないが十年版である」ということは事実と異なる
事実2: 訝しいものは正食でなくてしかも十年版であるということはない
事実3: もしもなんらかのものは訝しいならば「「それは正食であるということはなくておまけに十年版でない」ということは確かだ」ということは偽である
事実4: もしもこの諸現象は訝しいならば「それは正食でないがしかし十年版である」ということは誤っている
事実5: もしもこの諸現象が訝しいとしたら正食でないし十年版でない
事実6: もし仮に何かは訝しいとすれば「それが正食だしそれに十年版でない」ということは間違っている

仮説: 「訝しいとしたら「正食でないしさらに十年版でない」ということは成り立たない」ものはある
1. 事実3から、推論1: "この諸現象は訝しいなら「正食でなくて更に十年版だということはない」ということは嘘だ"が導かれる
2. 推論1から、仮説が導かれる

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