もし仮にこの順宗が所得税基本通達ならばあの訪問看護指導は明文規定だ
fact1: 「もしあの訪問看護指導がえげつないとすればこの順宗は所得税基本通達だ」ということは正しい fact2: 「「明文規定である」ということは本当である」物はある fact3: もしある物は所得税基本通達であるならば「この順宗は明文規定だ」ということは成り立つ fact4: なにかはアメリカ西部ならばその民族浄化は答え得る fact5: もしもなにかは所得税基本通達であるし更にえげつないとすればあの訪問看護指導は明文規定である fact6: あの訪問看護指導はえげつない fact7: 「「答え得る」ということは真実である」ものはある fact8: あの訪問看護指導は齎し易い fact9: もし仮にあの訪問看護指導がえげつないならばこの順宗は明文規定だ fact10: もしもあるものが答え得るとしたらこの順宗はえげつない fact11: 「所得税基本通達である」ものはある fact12: 「「呼び込める」ということは確かな」ものはある fact13: 「苦々しい」ものはある
fact7 & fact10 -> int1: この順宗はえげつない; void -> assump1: 以下のように仮定する。この順宗は所得税基本通達である; int1 & assump1 -> int2: この順宗は所得税基本通達であるしさらにえげつない; int2 -> int3: えげつない所得税基本通達はある; int3 & fact5 -> int4: あの訪問看護指導は明文規定である; [assump1] & int4 -> hypothesis;
$facts$ = fact1: 「もしあの訪問看護指導がえげつないとすればこの順宗は所得税基本通達だ」ということは正しい fact2: 「「明文規定である」ということは本当である」物はある fact3: もしある物は所得税基本通達であるならば「この順宗は明文規定だ」ということは成り立つ fact4: なにかはアメリカ西部ならばその民族浄化は答え得る fact5: もしもなにかは所得税基本通達であるし更にえげつないとすればあの訪問看護指導は明文規定である fact6: あの訪問看護指導はえげつない fact7: 「「答え得る」ということは真実である」ものはある fact8: あの訪問看護指導は齎し易い fact9: もし仮にあの訪問看護指導がえげつないならばこの順宗は明文規定だ fact10: もしもあるものが答え得るとしたらこの順宗はえげつない fact11: 「所得税基本通達である」ものはある fact12: 「「呼び込める」ということは確かな」ものはある fact13: 「苦々しい」ものはある ; $hypothesis$ = もし仮にこの順宗が所得税基本通達ならばあの訪問看護指導は明文規定だ ; $proof$ = 
fact7 & fact10 -> int1: この順宗はえげつない; void -> assump1: 以下のように仮定する。この順宗は所得税基本通達である; int1 & assump1 -> int2: この順宗は所得税基本通達であるしさらにえげつない; int2 -> int3: えげつない所得税基本通達はある; int3 & fact5 -> int4: あの訪問看護指導は明文規定である; [assump1] & int4 -> hypothesis; __PROVED__
事実1: 「もしあの訪問看護指導がえげつないとすればこの順宗は所得税基本通達だ」ということは正しい
事実2: 「「明文規定である」ということは本当である」物はある
事実3: もしある物は所得税基本通達であるならば「この順宗は明文規定だ」ということは成り立つ
事実4: なにかはアメリカ西部ならばその民族浄化は答え得る
事実5: もしもなにかは所得税基本通達であるし更にえげつないとすればあの訪問看護指導は明文規定である
事実6: あの訪問看護指導はえげつない
事実7: 「「答え得る」ということは真実である」ものはある
事実8: あの訪問看護指導は齎し易い
事実9: もし仮にあの訪問看護指導がえげつないならばこの順宗は明文規定だ
事実10: もしもあるものが答え得るとしたらこの順宗はえげつない
事実11: 「所得税基本通達である」ものはある
事実12: 「「呼び込める」ということは確かな」ものはある
事実13: 「苦々しい」ものはある

仮説: もし仮にこの順宗が所得税基本通達ならばあの訪問看護指導は明文規定だ
1. 事実7と事実10から、推論1: "この順宗はえげつない"が導かれる
2. 仮定1: 以下のように仮定する。この順宗は所得税基本通達である
3. 推論1と仮定1から、推論2: "この順宗は所得税基本通達であるしさらにえげつない"が導かれる
4. 推論2から、推論3: "えげつない所得税基本通達はある"が導かれる
5. 推論3と事実5から、推論4: "あの訪問看護指導は明文規定である"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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