もし「この合名は味わい深い」ということは確かであるならば口振りである
fact1: もしこの合名は味わい深いとすると「それは売却処理でなくて遠し」ということは成り立たない fact2: もしも「とある物は顧客データベースでないけど口振りである」ということは間違いだとするとそれは味わい深い fact3: 顧客データベースは口振りである fact4: もし仮に「口振りでない」ものはあるなら「その一般図書は顧客データベースでないがしかし口振りだ」ということは事実でない fact5: もしも「なんらかの物は売却処理だということはないがしかし遠し」ということは成り立たないならばそれは顧客データベースだ
void -> assump1: 以下のように仮定する。この合名は味わい深い; fact1 & assump1 -> int1: 「「この合名は売却処理でないけれどそれは遠し」ということは事実である」ということは事実と異なる; fact5 -> int2: もしも「この合名は売却処理でないけれど遠し」ということは間違っているなら顧客データベースである; int1 & int2 -> int3: この合名は顧客データベースである; fact3 -> int4: この合名が顧客データベースだとしたらそれは口振りである; int3 & int4 -> int5: 「この合名は口振りである」ということは成り立つ; [assump1] & int5 -> hypothesis;
「その一般図書は売却処理である」ということは事実である
fact7 -> int6: 仮に「その一般図書は顧客データベースでないが口振りである」ということは誤っているとすると味わい深い;
$facts$ = fact1: もしこの合名は味わい深いとすると「それは売却処理でなくて遠し」ということは成り立たない fact2: もしも「とある物は顧客データベースでないけど口振りである」ということは間違いだとするとそれは味わい深い fact3: 顧客データベースは口振りである fact4: もし仮に「口振りでない」ものはあるなら「その一般図書は顧客データベースでないがしかし口振りだ」ということは事実でない fact5: もしも「なんらかの物は売却処理だということはないがしかし遠し」ということは成り立たないならばそれは顧客データベースだ ; $hypothesis$ = もし「この合名は味わい深い」ということは確かであるならば口振りである ; $proof$ = 
void -> assump1: 以下のように仮定する。この合名は味わい深い; fact1 & assump1 -> int1: 「「この合名は売却処理でないけれどそれは遠し」ということは事実である」ということは事実と異なる; fact5 -> int2: もしも「この合名は売却処理でないけれど遠し」ということは間違っているなら顧客データベースである; int1 & int2 -> int3: この合名は顧客データベースである; fact3 -> int4: この合名が顧客データベースだとしたらそれは口振りである; int3 & int4 -> int5: 「この合名は口振りである」ということは成り立つ; [assump1] & int5 -> hypothesis; __PROVED__
事実1: もしこの合名は味わい深いとすると「それは売却処理でなくて遠し」ということは成り立たない
事実2: もしも「とある物は顧客データベースでないけど口振りである」ということは間違いだとするとそれは味わい深い
事実3: 顧客データベースは口振りである
事実4: もし仮に「口振りでない」ものはあるなら「その一般図書は顧客データベースでないがしかし口振りだ」ということは事実でない
事実5: もしも「なんらかの物は売却処理だということはないがしかし遠し」ということは成り立たないならばそれは顧客データベースだ

仮説: もし「この合名は味わい深い」ということは確かであるならば口振りである
1. 仮定1: 以下のように仮定する。この合名は味わい深い
2. 事実1と仮定1から、推論1: "「「この合名は売却処理でないけれどそれは遠し」ということは事実である」ということは事実と異なる"が導かれる
3. 事実5から、推論2: "もしも「この合名は売却処理でないけれど遠し」ということは間違っているなら顧客データベースである"が導かれる
4. 推論1と推論2から、推論3: "この合名は顧客データベースである"が導かれる
5. 事実3から、推論4: "この合名が顧客データベースだとしたらそれは口振りである"が導かれる
6. 推論3と推論4から、推論5: "「この合名は口振りである」ということは成り立つ"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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