この実験値は新興市場だ
fact1: 「考え付く」物はある fact2: 「考え付く」ものはあるなら「この実験値はスマートガイドであるけれどちゅぷでない」ということは嘘である fact3: もし仮に「なにがしかの物はスマートガイドだ一方でそれはちゅぷでない」ということは正しくないとすればそれは新興市場である
fact1 & fact2 -> int1: 「この実験値はスマートガイドであるがちゅぷでない」ということは間違いである; fact3 -> int2: 「「この実験値はスマートガイドだ一方でちゅぷでない」ということは真実でない」ということは確かならばそれは新興市場だ; int1 & int2 -> hypothesis;
fact1 & fact2 -> int1: ¬({B}{a} & ¬{C}{a}); fact3 -> int2: ¬({B}{a} & ¬{C}{a}) -> {D}{a}; int1 & int2 -> hypothesis;
$facts$ = fact1: 「考え付く」物はある fact2: 「考え付く」ものはあるなら「この実験値はスマートガイドであるけれどちゅぷでない」ということは嘘である fact3: もし仮に「なにがしかの物はスマートガイドだ一方でそれはちゅぷでない」ということは正しくないとすればそれは新興市場である ; $hypothesis$ = この実験値は新興市場だ ; $proof$ = 
fact1 & fact2 -> int1: 「この実験値はスマートガイドであるがちゅぷでない」ということは間違いである; fact3 -> int2: 「「この実験値はスマートガイドだ一方でちゅぷでない」ということは真実でない」ということは確かならばそれは新興市場だ; int1 & int2 -> hypothesis; __PROVED__
事実1: 「考え付く」物はある
事実2: 「考え付く」ものはあるなら「この実験値はスマートガイドであるけれどちゅぷでない」ということは嘘である
事実3: もし仮に「なにがしかの物はスマートガイドだ一方でそれはちゅぷでない」ということは正しくないとすればそれは新興市場である

仮説: この実験値は新興市場だ
1. 事実1と事実2から、推論1: "「この実験値はスマートガイドであるがちゅぷでない」ということは間違いである"が導かれる
2. 事実3から、推論2: "「「この実験値はスマートガイドだ一方でちゅぷでない」ということは真実でない」ということは確かならばそれは新興市場だ"が導かれる
3. 推論1と推論2から、仮説が導かれる

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