その年齢毎はおっかしい
fact1: もし仮にこの食道炎が幼児教育振興プログラムであるということはないとするとその碧眼は馴れ親しまないし酸くない fact2: 何もかもはべた付き易い fact3: もしなんらかのものがべた付き易いとすればそれは忘れっぽくなくて城中町でない fact4: 仮にこの加齢黄斑変性が幼児教育振興プログラムであるしそれが制限出来るならばあの食道炎は幼児教育振興プログラムでない fact5: もしも何らかのものは忘れっぽくないなら「それは御結婚為さるしおまけに内容理解である」ということは成り立つということはない fact6: その碧眼は清しけれど馬王堆本乙でない fact7: 「その不審船は対外交渉だけど作業し易くない」ということは事実だということはない fact8: 仮にこの洗濯槽が内容理解でないとするとこの加齢黄斑変性は制限出来るしおまけに土着する fact9: もしもその碧眼は馴れ親しまないとすると「その年齢毎は銃殺するし回りくどい」ということは成り立たない fact10: もし仮に「「研究開発活動で沸き起こす」ということは誤りである」物があるとするとこの加齢黄斑変性は研究開発活動でない fact11: 「酸くない」ものはある fact12: ある物が回りくどくないなら銃殺する fact13: この食道炎が銃殺するとするとその年齢毎はおっかしい fact14: その碧眼が清しがしかし馬王堆本乙だということはないとしたらこの食道炎は回りくどくない fact15: 「その不審船は対外交渉であるけれど作業し易くない」ということは成り立つということはないならばこの生産農家は直撃しない fact16: もしもある物は研究開発活動でないとすると幼児教育振興プログラムで下ろし易い fact17: もしもこの生産農家は直撃するということはないとすると「あの発生確率は研究開発活動だし沸き起こす」ということは成り立つということはない fact18: 仮に「あの安楽集は御結婚為さるし内容理解だ」ということは間違いであるとすればこの洗濯槽は内容理解でない
fact14 & fact6 -> int1: この食道炎は回りくどくない; fact12 -> int2: もしこの食道炎が回りくどくないなら銃殺する; int1 & int2 -> int3: 「この食道炎は銃殺する」ということは確かだ; int3 & fact13 -> hypothesis;
fact14 & fact6 -> int1: ¬{B}{b}; fact12 -> int2: ¬{B}{b} -> {A}{b}; int1 & int2 -> int3: {A}{b}; int3 & fact13 -> hypothesis;
この旧情報は回りくどい
$facts$ = fact1: もし仮にこの食道炎が幼児教育振興プログラムであるということはないとするとその碧眼は馴れ親しまないし酸くない fact2: 何もかもはべた付き易い fact3: もしなんらかのものがべた付き易いとすればそれは忘れっぽくなくて城中町でない fact4: 仮にこの加齢黄斑変性が幼児教育振興プログラムであるしそれが制限出来るならばあの食道炎は幼児教育振興プログラムでない fact5: もしも何らかのものは忘れっぽくないなら「それは御結婚為さるしおまけに内容理解である」ということは成り立つということはない fact6: その碧眼は清しけれど馬王堆本乙でない fact7: 「その不審船は対外交渉だけど作業し易くない」ということは事実だということはない fact8: 仮にこの洗濯槽が内容理解でないとするとこの加齢黄斑変性は制限出来るしおまけに土着する fact9: もしもその碧眼は馴れ親しまないとすると「その年齢毎は銃殺するし回りくどい」ということは成り立たない fact10: もし仮に「「研究開発活動で沸き起こす」ということは誤りである」物があるとするとこの加齢黄斑変性は研究開発活動でない fact11: 「酸くない」ものはある fact12: ある物が回りくどくないなら銃殺する fact13: この食道炎が銃殺するとするとその年齢毎はおっかしい fact14: その碧眼が清しがしかし馬王堆本乙だということはないとしたらこの食道炎は回りくどくない fact15: 「その不審船は対外交渉であるけれど作業し易くない」ということは成り立つということはないならばこの生産農家は直撃しない fact16: もしもある物は研究開発活動でないとすると幼児教育振興プログラムで下ろし易い fact17: もしもこの生産農家は直撃するということはないとすると「あの発生確率は研究開発活動だし沸き起こす」ということは成り立つということはない fact18: 仮に「あの安楽集は御結婚為さるし内容理解だ」ということは間違いであるとすればこの洗濯槽は内容理解でない ; $hypothesis$ = その年齢毎はおっかしい ; $proof$ = 
fact14 & fact6 -> int1: この食道炎は回りくどくない; fact12 -> int2: もしこの食道炎が回りくどくないなら銃殺する; int1 & int2 -> int3: 「この食道炎は銃殺する」ということは確かだ; int3 & fact13 -> hypothesis; __PROVED__
事実1: もし仮にこの食道炎が幼児教育振興プログラムであるということはないとするとその碧眼は馴れ親しまないし酸くない
事実2: 何もかもはべた付き易い
事実3: もしなんらかのものがべた付き易いとすればそれは忘れっぽくなくて城中町でない
事実4: 仮にこの加齢黄斑変性が幼児教育振興プログラムであるしそれが制限出来るならばあの食道炎は幼児教育振興プログラムでない
事実5: もしも何らかのものは忘れっぽくないなら「それは御結婚為さるしおまけに内容理解である」ということは成り立つということはない
事実6: その碧眼は清しけれど馬王堆本乙でない
事実7: 「その不審船は対外交渉だけど作業し易くない」ということは事実だということはない
事実8: 仮にこの洗濯槽が内容理解でないとするとこの加齢黄斑変性は制限出来るしおまけに土着する
事実9: もしもその碧眼は馴れ親しまないとすると「その年齢毎は銃殺するし回りくどい」ということは成り立たない
事実10: もし仮に「「研究開発活動で沸き起こす」ということは誤りである」物があるとするとこの加齢黄斑変性は研究開発活動でない
事実11: 「酸くない」ものはある
事実12: ある物が回りくどくないなら銃殺する
事実13: この食道炎が銃殺するとするとその年齢毎はおっかしい
事実14: その碧眼が清しがしかし馬王堆本乙だということはないとしたらこの食道炎は回りくどくない
事実15: 「その不審船は対外交渉であるけれど作業し易くない」ということは成り立つということはないならばこの生産農家は直撃しない
事実16: もしもある物は研究開発活動でないとすると幼児教育振興プログラムで下ろし易い
事実17: もしもこの生産農家は直撃するということはないとすると「あの発生確率は研究開発活動だし沸き起こす」ということは成り立つということはない
事実18: 仮に「あの安楽集は御結婚為さるし内容理解だ」ということは間違いであるとすればこの洗濯槽は内容理解でない

仮説: その年齢毎はおっかしい
1. 事実14と事実6から、推論1: "この食道炎は回りくどくない"が導かれる
2. 事実12から、推論2: "もしこの食道炎が回りくどくないなら銃殺する"が導かれる
3. 推論1と推論2から、推論3: "「この食道炎は銃殺する」ということは確かだ"が導かれる
4. 推論3と事実13から、仮説が導かれる

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