もし仮に「その十六年度は結うけど健康志向でない」ということは誤りであるとすればこの診断薬はほろ苦い
fact1: 仮になんらかのものがカイゼルであるとすると左房であるかそれは取り分ける fact2: もし「その十六年度は健康志向だ」ということは成り立つとするとそれはカイゼルだ fact3: その十六年度は結わない fact4: 「「その十六年度は結うししかも健康志向だ」ということは本当である」ということは成り立たない fact5: もしその十六年度はカイゼルならば「左房であるかそれは取り分ける」ということは確かだ fact6: もしも「その十六年度は結うけどそれは健康志向でない」ということは誤っているとすればそれはカイゼルである fact7: もしその十六年度は左房であるということはないか取り分けるかどちらもであるとすると「この診断薬はほろ苦い」ということは確かだ fact8: 仮になにがしかの物がカイゼルなら左房でないかあるいは取り分けるかどちらもである
void -> assump1: 以下のように仮定する。「その十六年度は結うが健康志向でない」ということは間違いだ; fact6 & assump1 -> int1: その十六年度はカイゼルである; fact8 -> int2: もしその十六年度がカイゼルであるとすれば左房だということはないかまたは取り分ける; int1 & int2 -> int3: その十六年度は左房でないかあるいは取り分けるかもしくは両方である; int3 & fact7 -> int4: この診断薬はほろ苦い; [assump1] & int4 -> hypothesis;
$facts$ = fact1: 仮になんらかのものがカイゼルであるとすると左房であるかそれは取り分ける fact2: もし「その十六年度は健康志向だ」ということは成り立つとするとそれはカイゼルだ fact3: その十六年度は結わない fact4: 「「その十六年度は結うししかも健康志向だ」ということは本当である」ということは成り立たない fact5: もしその十六年度はカイゼルならば「左房であるかそれは取り分ける」ということは確かだ fact6: もしも「その十六年度は結うけどそれは健康志向でない」ということは誤っているとすればそれはカイゼルである fact7: もしその十六年度は左房であるということはないか取り分けるかどちらもであるとすると「この診断薬はほろ苦い」ということは確かだ fact8: 仮になにがしかの物がカイゼルなら左房でないかあるいは取り分けるかどちらもである ; $hypothesis$ = もし仮に「その十六年度は結うけど健康志向でない」ということは誤りであるとすればこの診断薬はほろ苦い ; $proof$ = 
void -> assump1: 以下のように仮定する。「その十六年度は結うが健康志向でない」ということは間違いだ; fact6 & assump1 -> int1: その十六年度はカイゼルである; fact8 -> int2: もしその十六年度がカイゼルであるとすれば左房だということはないかまたは取り分ける; int1 & int2 -> int3: その十六年度は左房でないかあるいは取り分けるかもしくは両方である; int3 & fact7 -> int4: この診断薬はほろ苦い; [assump1] & int4 -> hypothesis; __PROVED__
事実1: 仮になんらかのものがカイゼルであるとすると左房であるかそれは取り分ける
事実2: もし「その十六年度は健康志向だ」ということは成り立つとするとそれはカイゼルだ
事実3: その十六年度は結わない
事実4: 「「その十六年度は結うししかも健康志向だ」ということは本当である」ということは成り立たない
事実5: もしその十六年度はカイゼルならば「左房であるかそれは取り分ける」ということは確かだ
事実6: もしも「その十六年度は結うけどそれは健康志向でない」ということは誤っているとすればそれはカイゼルである
事実7: もしその十六年度は左房であるということはないか取り分けるかどちらもであるとすると「この診断薬はほろ苦い」ということは確かだ
事実8: 仮になにがしかの物がカイゼルなら左房でないかあるいは取り分けるかどちらもである

仮説: もし仮に「その十六年度は結うけど健康志向でない」ということは誤りであるとすればこの診断薬はほろ苦い
1. 仮定1: 以下のように仮定する。「その十六年度は結うが健康志向でない」ということは間違いだ
2. 事実6と仮定1から、推論1: "その十六年度はカイゼルである"が導かれる
3. 事実8から、推論2: "もしその十六年度がカイゼルであるとすれば左房だということはないかまたは取り分ける"が導かれる
4. 推論1と推論2から、推論3: "その十六年度は左房でないかあるいは取り分けるかもしくは両方である"が導かれる
5. 推論3と事実7から、推論4: "この診断薬はほろ苦い"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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