「このポストカードは長々しい」ということは嘘でない
fact1: もしあるものは汚れ易いということはないとしたら「ださくないかあるいは南下するかあるいは両方ともだ」ということは間違いである fact2: その奴隷制度は南下するかださい fact3: もしもその奴隷制度が南下すればこの子以外は汚れ易い fact4: もし「何らかのものは汚れ易いしかつ調査済みだ」ということは成り立たないならばそれは汚れ易くない fact5: 仮にこの文字ベースが調査済みであるならこのポストカードは調査済みであるということはないがしかし長々しい fact6: この子以外は汚れ易いとしたら「この文字ベースは調査済みである」ということは成り立つ fact7: もし仮に「その奴隷制度はださい」ということは嘘でないとしたらこの子以外は汚れ易い
fact2 & fact3 & fact7 -> int1: この子以外は汚れ易い; int1 & fact6 -> int2: この文字ベースは調査済みだ; int2 & fact5 -> int3: このポストカードは調査済みでないけど長々しい; int3 -> hypothesis;
「このポストカードは長々しかない」ということは成り立つ
fact9 -> int4: もしその奴隷制度は汚れ易いということはないとすれば「それはださくないか南下するかあるいは両方である」ということは誤りである; fact8 -> int5: 「その奴隷制度は汚れ易いししかも調査済みだ」ということは成り立たないなら「汚れ易くない」ということは誤りでない;
$facts$ = fact1: もしあるものは汚れ易いということはないとしたら「ださくないかあるいは南下するかあるいは両方ともだ」ということは間違いである fact2: その奴隷制度は南下するかださい fact3: もしもその奴隷制度が南下すればこの子以外は汚れ易い fact4: もし「何らかのものは汚れ易いしかつ調査済みだ」ということは成り立たないならばそれは汚れ易くない fact5: 仮にこの文字ベースが調査済みであるならこのポストカードは調査済みであるということはないがしかし長々しい fact6: この子以外は汚れ易いとしたら「この文字ベースは調査済みである」ということは成り立つ fact7: もし仮に「その奴隷制度はださい」ということは嘘でないとしたらこの子以外は汚れ易い ; $hypothesis$ = 「このポストカードは長々しい」ということは嘘でない ; $proof$ = 
fact2 & fact3 & fact7 -> int1: この子以外は汚れ易い; int1 & fact6 -> int2: この文字ベースは調査済みだ; int2 & fact5 -> int3: このポストカードは調査済みでないけど長々しい; int3 -> hypothesis; __PROVED__
事実1: もしあるものは汚れ易いということはないとしたら「ださくないかあるいは南下するかあるいは両方ともだ」ということは間違いである
事実2: その奴隷制度は南下するかださい
事実3: もしもその奴隷制度が南下すればこの子以外は汚れ易い
事実4: もし「何らかのものは汚れ易いしかつ調査済みだ」ということは成り立たないならばそれは汚れ易くない
事実5: 仮にこの文字ベースが調査済みであるならこのポストカードは調査済みであるということはないがしかし長々しい
事実6: この子以外は汚れ易いとしたら「この文字ベースは調査済みである」ということは成り立つ
事実7: もし仮に「その奴隷制度はださい」ということは嘘でないとしたらこの子以外は汚れ易い

仮説: 「このポストカードは長々しい」ということは嘘でない
1. 事実2と事実3と事実7から、推論1: "この子以外は汚れ易い"が導かれる
2. 推論1と事実6から、推論2: "この文字ベースは調査済みだ"が導かれる
3. 推論2と事実5から、推論3: "このポストカードは調査済みでないけど長々しい"が導かれる
4. 推論3から、仮説が導かれる

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