あの莢豌豆は売り飛ばす
fact1: 仮にその因数分解が地下鉄だということはないとしたらあの莢豌豆は洗えるということはないけどそれは売り飛ばす fact2: もしもあのスクラップ・アンド・ビルドが忍び難くないけどエディプス期であるとすればその因数分解は地下鉄でない fact3: もし仮にこの御専門が忍び難いとすれば埃っぽい fact4: もしこの御専門が忍び難くないとするとあのスクラップ・アンド・ビルドは忍び難くないけどそれはエディプス期だ fact5: この御専門は埃っぽくない
void -> assump1: 以下のように仮定する。この御専門は忍び難い; fact3 & assump1 -> int1: この御専門は埃っぽい; int1 & fact5 -> int2: これは矛盾である; [assump1] & int2 -> int3: この御専門は忍び難くない; int3 & fact4 -> int4: あのスクラップ・アンド・ビルドは忍び難くない一方でそれはエディプス期である; int4 & fact2 -> int5: その因数分解は地下鉄でない; int5 & fact1 -> int6: あの莢豌豆は洗えない一方でそれは売り飛ばす; int6 -> hypothesis;
$facts$ = fact1: 仮にその因数分解が地下鉄だということはないとしたらあの莢豌豆は洗えるということはないけどそれは売り飛ばす fact2: もしもあのスクラップ・アンド・ビルドが忍び難くないけどエディプス期であるとすればその因数分解は地下鉄でない fact3: もし仮にこの御専門が忍び難いとすれば埃っぽい fact4: もしこの御専門が忍び難くないとするとあのスクラップ・アンド・ビルドは忍び難くないけどそれはエディプス期だ fact5: この御専門は埃っぽくない ; $hypothesis$ = あの莢豌豆は売り飛ばす ; $proof$ = 
void -> assump1: 以下のように仮定する。この御専門は忍び難い; fact3 & assump1 -> int1: この御専門は埃っぽい; int1 & fact5 -> int2: これは矛盾である; [assump1] & int2 -> int3: この御専門は忍び難くない; int3 & fact4 -> int4: あのスクラップ・アンド・ビルドは忍び難くない一方でそれはエディプス期である; int4 & fact2 -> int5: その因数分解は地下鉄でない; int5 & fact1 -> int6: あの莢豌豆は洗えない一方でそれは売り飛ばす; int6 -> hypothesis; __PROVED__
事実1: 仮にその因数分解が地下鉄だということはないとしたらあの莢豌豆は洗えるということはないけどそれは売り飛ばす
事実2: もしもあのスクラップ・アンド・ビルドが忍び難くないけどエディプス期であるとすればその因数分解は地下鉄でない
事実3: もし仮にこの御専門が忍び難いとすれば埃っぽい
事実4: もしこの御専門が忍び難くないとするとあのスクラップ・アンド・ビルドは忍び難くないけどそれはエディプス期だ
事実5: この御専門は埃っぽくない

仮説: あの莢豌豆は売り飛ばす
1. 仮定1: 以下のように仮定する。この御専門は忍び難い
2. 事実3と仮定1から、推論1: "この御専門は埃っぽい"が導かれる
3. 推論1と事実5から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "この御専門は忍び難くない"が導かれる
5. 推論3と事実4から、推論4: "あのスクラップ・アンド・ビルドは忍び難くない一方でそれはエディプス期である"が導かれる
6. 推論4と事実2から、推論5: "その因数分解は地下鉄でない"が導かれる
7. 推論5と事実1から、推論6: "あの莢豌豆は洗えない一方でそれは売り飛ばす"が導かれる
8. 推論6から、仮説が導かれる

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