このポストカードはメタ・メッセージでない
fact1: この奠基はメタ・メッセージだ fact2: このポストカードは凍て付く fact3: 「この本件最高裁判決はメタ・メッセージだ」ということは成り立つ fact4: このポストカードは供給する fact5: 「このポストカードは出来上がりだ」ということは事実である fact6: 「この御勧めメニューはメタ・メッセージだ」ということは成り立つ fact7: 「そのキャスター付きはメタ・メッセージである」ということは真実である fact8: 「その担保物はメタ・メッセージだ」ということは偽でない fact9: このポストカードは門跡だ fact10: この一男はメタ・メッセージである fact11: あのむかっ腹はメタ・メッセージだ fact12: このポストカードは軽い fact13: このポストカードは設置主体である fact14: このポストカードはＢ図である fact15: この家庭科はメタ・メッセージだ fact16: このポストカードは織田軍団である fact17: もし何らかの物は塩抜きしないならば「それは蹴り付けるということはなくて更に包皮でない」ということは事実と異なる fact18: もしも「なにがしかの物は蹴り付けないし包皮でない」ということは成り立たないとしたらメタ・メッセージでない fact19: このポストカードはメタ・メッセージである fact20: このポストカードは痒い fact21: この名主どんはメタ・メッセージである
fact19 -> hypothesis;
このポストカードはメタ・メッセージでない
fact22 -> int1: 「このポストカードは蹴り付けるということはないし加えて包皮でない」ということは事実と異なるならそれはメタ・メッセージでない; fact23 -> int2: もしもこのポストカードは塩抜きしないとしたら「蹴り付けるということはないしおまけに包皮でない」ということは成り立たない;
$facts$ = fact1: この奠基はメタ・メッセージだ fact2: このポストカードは凍て付く fact3: 「この本件最高裁判決はメタ・メッセージだ」ということは成り立つ fact4: このポストカードは供給する fact5: 「このポストカードは出来上がりだ」ということは事実である fact6: 「この御勧めメニューはメタ・メッセージだ」ということは成り立つ fact7: 「そのキャスター付きはメタ・メッセージである」ということは真実である fact8: 「その担保物はメタ・メッセージだ」ということは偽でない fact9: このポストカードは門跡だ fact10: この一男はメタ・メッセージである fact11: あのむかっ腹はメタ・メッセージだ fact12: このポストカードは軽い fact13: このポストカードは設置主体である fact14: このポストカードはＢ図である fact15: この家庭科はメタ・メッセージだ fact16: このポストカードは織田軍団である fact17: もし何らかの物は塩抜きしないならば「それは蹴り付けるということはなくて更に包皮でない」ということは事実と異なる fact18: もしも「なにがしかの物は蹴り付けないし包皮でない」ということは成り立たないとしたらメタ・メッセージでない fact19: このポストカードはメタ・メッセージである fact20: このポストカードは痒い fact21: この名主どんはメタ・メッセージである ; $hypothesis$ = このポストカードはメタ・メッセージでない ; $proof$ = 
fact19 -> hypothesis; __DISPROVED__
事実1: この奠基はメタ・メッセージだ
事実2: このポストカードは凍て付く
事実3: 「この本件最高裁判決はメタ・メッセージだ」ということは成り立つ
事実4: このポストカードは供給する
事実5: 「このポストカードは出来上がりだ」ということは事実である
事実6: 「この御勧めメニューはメタ・メッセージだ」ということは成り立つ
事実7: 「そのキャスター付きはメタ・メッセージである」ということは真実である
事実8: 「その担保物はメタ・メッセージだ」ということは偽でない
事実9: このポストカードは門跡だ
事実10: この一男はメタ・メッセージである
事実11: あのむかっ腹はメタ・メッセージだ
事実12: このポストカードは軽い
事実13: このポストカードは設置主体である
事実14: このポストカードはＢ図である
事実15: この家庭科はメタ・メッセージだ
事実16: このポストカードは織田軍団である
事実17: もし何らかの物は塩抜きしないならば「それは蹴り付けるということはなくて更に包皮でない」ということは事実と異なる
事実18: もしも「なにがしかの物は蹴り付けないし包皮でない」ということは成り立たないとしたらメタ・メッセージでない
事実19: このポストカードはメタ・メッセージである
事実20: このポストカードは痒い
事実21: この名主どんはメタ・メッセージである

仮説: このポストカードはメタ・メッセージでない
1. 事実19から、仮説が否定される

よって、仮説が否定されました。