この太陽系宇宙は暗しし原虫だ
fact1: もし仮にこの太陽系宇宙が御偉いとすれば暗し fact2: この太陽系宇宙は原虫である fact3: この太陽系宇宙は御偉くてかつ過ごす
fact3 -> int1: この太陽系宇宙は御偉い; int1 & fact1 -> int2: この太陽系宇宙は暗し; int2 & fact2 -> hypothesis;
$facts$ = fact1: もし仮にこの太陽系宇宙が御偉いとすれば暗し fact2: この太陽系宇宙は原虫である fact3: この太陽系宇宙は御偉くてかつ過ごす ; $hypothesis$ = この太陽系宇宙は暗しし原虫だ ; $proof$ = 
fact3 -> int1: この太陽系宇宙は御偉い; int1 & fact1 -> int2: この太陽系宇宙は暗し; int2 & fact2 -> hypothesis; __PROVED__
事実1: もし仮にこの太陽系宇宙が御偉いとすれば暗し
事実2: この太陽系宇宙は原虫である
事実3: この太陽系宇宙は御偉くてかつ過ごす

仮説: この太陽系宇宙は暗しし原虫だ
1. 事実3から、推論1: "この太陽系宇宙は御偉い"が導かれる
2. 推論1と事実1から、推論2: "この太陽系宇宙は暗し"が導かれる
3. 推論2と事実2から、仮説が導かれる

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