この馬舎は診断する
fact1: あるものが塩類だとすればそれは諸領域である fact2: もし仮に「「カモフラージュするししかも諸領域である」ということは成り立たない」物があるならこの上っ面はカモフラージュしない fact3: もしこの上っ面は際どいということはないとすれば「あのウインナは手痛くて得易い」ということは成り立たない fact4: この馬舎は赴く fact5: このＥＣＧ異常は診断する fact6: 「カモフラージュしない」ものがあるとしたらあのウインナは得易いしその上際どい fact7: この一二角成りは塩類でないとしたら「そのインスリン非依存型糖尿病はカモフラージュするしかつ諸領域である」ということは間違いだ fact8: 仮に「この上っ面は諸領域だ」ということは真実ならばそれはカモフラージュしないかそれは際どいということはないかまたは両方ともだ fact9: この上っ面がカモフラージュしないかもしくはそれが際どいということはないとしたらそれは際どいということはない fact10: もし仮にこの馬舎は得易くないとすると「それは手痛くてかつ診断するということはない」ということは真実でない fact11: もしあのウインナが得易いとするとこの馬舎は得易くない fact12: このドライブウェイは診断する fact13: この一二角成りは休眠しない fact14: この馬舎は四図だ fact15: このハシーシュは診断する fact16: 「この胃炎は診断する」ということは正しい fact17: もし仮にある物は休眠しないなら「それは理解し易いということはないけれど困る」ということは誤っている fact18: 「あるものは理解し易くないが困る」ということは事実でないとすれば塩類でない fact19: もし「「手痛いけど診断しない」ということは嘘な」ものがあるならあの周壁は診断する fact20: 「この馬舎は診断する」ということは正しい
fact20 -> hypothesis;
fact20 -> hypothesis;
あの周壁は診断する
fact25 -> int1: もしも「この一二角成りは理解し易くないがしかし困る」ということは誤りであるとしたらそれは塩類でない; fact21 -> int2: 「この一二角成りは休眠しない」ということは事実だとすれば「理解し易くない一方で困る」ということは成り立つということはない; int2 & fact24 -> int3: 「この一二角成りは理解し易くないがしかしそれは困る」ということは成り立たない; int1 & int3 -> int4: この一二角成りは塩類でない; fact27 & int4 -> int5: 「そのインスリン非依存型糖尿病はカモフラージュするしそれは諸領域だ」ということは偽である; int5 -> int6: 「「カモフラージュするしその上諸領域である」ということは誤りである」物はある; int6 & fact26 -> int7: この上っ面はカモフラージュするということはない; int7 -> int8: 何かはカモフラージュするということはない; int8 & fact22 -> int9: あのウインナは得易いしさらに際どい; int9 -> int10: あのウインナは得易い; fact29 & int10 -> int11: この馬舎は得易くない; fact23 & int11 -> int12: 「「この馬舎は手痛いがしかし診断しない」ということは真実である」ということは成り立たない; int12 -> int13: 「「手痛いししかも診断しない」ということは事実と異なる」物はある; int13 & fact28 -> hypothesis;
$facts$ = fact1: あるものが塩類だとすればそれは諸領域である fact2: もし仮に「「カモフラージュするししかも諸領域である」ということは成り立たない」物があるならこの上っ面はカモフラージュしない fact3: もしこの上っ面は際どいということはないとすれば「あのウインナは手痛くて得易い」ということは成り立たない fact4: この馬舎は赴く fact5: このＥＣＧ異常は診断する fact6: 「カモフラージュしない」ものがあるとしたらあのウインナは得易いしその上際どい fact7: この一二角成りは塩類でないとしたら「そのインスリン非依存型糖尿病はカモフラージュするしかつ諸領域である」ということは間違いだ fact8: 仮に「この上っ面は諸領域だ」ということは真実ならばそれはカモフラージュしないかそれは際どいということはないかまたは両方ともだ fact9: この上っ面がカモフラージュしないかもしくはそれが際どいということはないとしたらそれは際どいということはない fact10: もし仮にこの馬舎は得易くないとすると「それは手痛くてかつ診断するということはない」ということは真実でない fact11: もしあのウインナが得易いとするとこの馬舎は得易くない fact12: このドライブウェイは診断する fact13: この一二角成りは休眠しない fact14: この馬舎は四図だ fact15: このハシーシュは診断する fact16: 「この胃炎は診断する」ということは正しい fact17: もし仮にある物は休眠しないなら「それは理解し易いということはないけれど困る」ということは誤っている fact18: 「あるものは理解し易くないが困る」ということは事実でないとすれば塩類でない fact19: もし「「手痛いけど診断しない」ということは嘘な」ものがあるならあの周壁は診断する fact20: 「この馬舎は診断する」ということは正しい ; $hypothesis$ = この馬舎は診断する ; $proof$ = 
fact20 -> hypothesis; __PROVED__
事実1: あるものが塩類だとすればそれは諸領域である
事実2: もし仮に「「カモフラージュするししかも諸領域である」ということは成り立たない」物があるならこの上っ面はカモフラージュしない
事実3: もしこの上っ面は際どいということはないとすれば「あのウインナは手痛くて得易い」ということは成り立たない
事実4: この馬舎は赴く
事実5: このＥＣＧ異常は診断する
事実6: 「カモフラージュしない」ものがあるとしたらあのウインナは得易いしその上際どい
事実7: この一二角成りは塩類でないとしたら「そのインスリン非依存型糖尿病はカモフラージュするしかつ諸領域である」ということは間違いだ
事実8: 仮に「この上っ面は諸領域だ」ということは真実ならばそれはカモフラージュしないかそれは際どいということはないかまたは両方ともだ
事実9: この上っ面がカモフラージュしないかもしくはそれが際どいということはないとしたらそれは際どいということはない
事実10: もし仮にこの馬舎は得易くないとすると「それは手痛くてかつ診断するということはない」ということは真実でない
事実11: もしあのウインナが得易いとするとこの馬舎は得易くない
事実12: このドライブウェイは診断する
事実13: この一二角成りは休眠しない
事実14: この馬舎は四図だ
事実15: このハシーシュは診断する
事実16: 「この胃炎は診断する」ということは正しい
事実17: もし仮にある物は休眠しないなら「それは理解し易いということはないけれど困る」ということは誤っている
事実18: 「あるものは理解し易くないが困る」ということは事実でないとすれば塩類でない
事実19: もし「「手痛いけど診断しない」ということは嘘な」ものがあるならあの周壁は診断する
事実20: 「この馬舎は診断する」ということは正しい

仮説: この馬舎は診断する
1. 事実20から、仮説が導かれる

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