その信用保証協会が宇宙意識だとしたらその保健師さんは浅黒い
fact1: その四つん這いが宇宙意識でないとすると不活化するししかもそれは垂らす fact2: 「その信用保証協会は不活化する」ということは正しい fact3: もし仮にその信用保証協会が不活化するし加えて宇宙意識であるとするとその四つん這いは現像でない fact4: もしもその四つん這いが現像でないとすればあの保健師さんは穴蔵である fact5: もしその保健師さんが現像でないならその四つん這いは穴蔵である fact6: もしあるものは穴蔵であるとすればそれは浅黒い fact7: その信用保証協会が現像であるとしたらその四つん這いは宇宙意識である fact8: 「その出土地は不活化する」ということは正しい fact9: もしもその四つん這いが浅黒いとするとその保健師さんは現像だ
void -> assump1: 以下のように仮定する。その信用保証協会は宇宙意識である; fact2 & assump1 -> int1: その信用保証協会は不活化するし宇宙意識だ; int1 & fact3 -> int2: その四つん這いは現像でない; int2 & fact4 -> int3: 「その保健師さんは穴蔵である」ということは成り立つ; fact6 -> int4: 仮にその保健師さんが穴蔵だとしたらそれは浅黒い; int3 & int4 -> int5: 「その保健師さんは浅黒い」ということは事実だ; [assump1] & int5 -> hypothesis;
その四つん這いは垂らすし穴蔵である
$facts$ = fact1: その四つん這いが宇宙意識でないとすると不活化するししかもそれは垂らす fact2: 「その信用保証協会は不活化する」ということは正しい fact3: もし仮にその信用保証協会が不活化するし加えて宇宙意識であるとするとその四つん這いは現像でない fact4: もしもその四つん這いが現像でないとすればあの保健師さんは穴蔵である fact5: もしその保健師さんが現像でないならその四つん這いは穴蔵である fact6: もしあるものは穴蔵であるとすればそれは浅黒い fact7: その信用保証協会が現像であるとしたらその四つん這いは宇宙意識である fact8: 「その出土地は不活化する」ということは正しい fact9: もしもその四つん這いが浅黒いとするとその保健師さんは現像だ ; $hypothesis$ = その信用保証協会が宇宙意識だとしたらその保健師さんは浅黒い ; $proof$ = 
void -> assump1: 以下のように仮定する。その信用保証協会は宇宙意識である; fact2 & assump1 -> int1: その信用保証協会は不活化するし宇宙意識だ; int1 & fact3 -> int2: その四つん這いは現像でない; int2 & fact4 -> int3: 「その保健師さんは穴蔵である」ということは成り立つ; fact6 -> int4: 仮にその保健師さんが穴蔵だとしたらそれは浅黒い; int3 & int4 -> int5: 「その保健師さんは浅黒い」ということは事実だ; [assump1] & int5 -> hypothesis; __PROVED__
事実1: その四つん這いが宇宙意識でないとすると不活化するししかもそれは垂らす
事実2: 「その信用保証協会は不活化する」ということは正しい
事実3: もし仮にその信用保証協会が不活化するし加えて宇宙意識であるとするとその四つん這いは現像でない
事実4: もしもその四つん這いが現像でないとすればあの保健師さんは穴蔵である
事実5: もしその保健師さんが現像でないならその四つん這いは穴蔵である
事実6: もしあるものは穴蔵であるとすればそれは浅黒い
事実7: その信用保証協会が現像であるとしたらその四つん這いは宇宙意識である
事実8: 「その出土地は不活化する」ということは正しい
事実9: もしもその四つん這いが浅黒いとするとその保健師さんは現像だ

仮説: その信用保証協会が宇宙意識だとしたらその保健師さんは浅黒い
1. 仮定1: 以下のように仮定する。その信用保証協会は宇宙意識である
2. 事実2と仮定1から、推論1: "その信用保証協会は不活化するし宇宙意識だ"が導かれる
3. 推論1と事実3から、推論2: "その四つん這いは現像でない"が導かれる
4. 推論2と事実4から、推論3: "「その保健師さんは穴蔵である」ということは成り立つ"が導かれる
5. 事実6から、推論4: "仮にその保健師さんが穴蔵だとしたらそれは浅黒い"が導かれる
6. 推論3と推論4から、推論5: "「その保健師さんは浅黒い」ということは事実だ"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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