あの全米科学アカデミーは苦しい
fact1: もし仮に「そのサリン事件は五里霧中であるか回答しないか両方である」ということは確かでないならば「あの全米科学アカデミーは苦しくない」ということは真実だ fact2: この不備は五里霧中だ fact3: あの全米科学アカデミーは五里霧中でない fact4: 仮にこの小机はつれないなら「それはアメリカっぽい」ということは成り立つ fact5: 「「この小机はぞっとしないが老年期鬱病である」ということは成り立たないとするとそのサリン事件はぞっとしない」ということは真実だ fact6: もしある物が辛抱出来るとすればそれは押し易い fact7: 仮にこの小机がアメリカっぽいならばそれは辛抱出来る fact8: もしも何らかのものがぞっとしないならそれは生活し易くてイメージし易い fact9: 「そのサリン事件はイメージし易いし押し易い」ということは成り立たないとすればあの全米科学アカデミーはイメージし易いということはない fact10: もしもあの全米科学アカデミーは五里霧中でないとしたら苦しい fact11: それはイメージし易いししかも押し易いという物はない fact12: もしなにがしかの物は押し易いなら「それはぞっとしない一方で老年期鬱病である」ということは成り立たない fact13: もし仮になにがしかの物はイメージし易いということはないとすれば「それは回答するということはないかもしくはそれは生活し易いかもしくは両方である」ということは誤りである fact14: もし仮になにがしかの物は生活し易いとすると「五里霧中であるかまたは回答するということはないか両方だ」ということは嘘である
fact10 & fact3 -> hypothesis;
fact10 & fact3 -> hypothesis;
あの全米科学アカデミーは苦しくない
fact19 -> int1: もしもそのサリン事件は生活し易いとしたら「五里霧中であるかあるいは回答しない」ということは誤りである; fact21 -> int2: 仮に「そのサリン事件はぞっとしない」ということは本当だとすれば生活し易くて更にイメージし易い; fact22 -> int3: もし仮に「この小机は押し易い」ということは成り立つとすれば「それはぞっとするということはないし更にそれは老年期鬱病である」ということは成り立たない; fact16 -> int4: 仮にこの小机が辛抱出来るとすると押し易い;
$facts$ = fact1: もし仮に「そのサリン事件は五里霧中であるか回答しないか両方である」ということは確かでないならば「あの全米科学アカデミーは苦しくない」ということは真実だ fact2: この不備は五里霧中だ fact3: あの全米科学アカデミーは五里霧中でない fact4: 仮にこの小机はつれないなら「それはアメリカっぽい」ということは成り立つ fact5: 「「この小机はぞっとしないが老年期鬱病である」ということは成り立たないとするとそのサリン事件はぞっとしない」ということは真実だ fact6: もしある物が辛抱出来るとすればそれは押し易い fact7: 仮にこの小机がアメリカっぽいならばそれは辛抱出来る fact8: もしも何らかのものがぞっとしないならそれは生活し易くてイメージし易い fact9: 「そのサリン事件はイメージし易いし押し易い」ということは成り立たないとすればあの全米科学アカデミーはイメージし易いということはない fact10: もしもあの全米科学アカデミーは五里霧中でないとしたら苦しい fact11: それはイメージし易いししかも押し易いという物はない fact12: もしなにがしかの物は押し易いなら「それはぞっとしない一方で老年期鬱病である」ということは成り立たない fact13: もし仮になにがしかの物はイメージし易いということはないとすれば「それは回答するということはないかもしくはそれは生活し易いかもしくは両方である」ということは誤りである fact14: もし仮になにがしかの物は生活し易いとすると「五里霧中であるかまたは回答するということはないか両方だ」ということは嘘である ; $hypothesis$ = あの全米科学アカデミーは苦しい ; $proof$ = 
fact10 & fact3 -> hypothesis; __PROVED__
事実1: もし仮に「そのサリン事件は五里霧中であるか回答しないか両方である」ということは確かでないならば「あの全米科学アカデミーは苦しくない」ということは真実だ
事実2: この不備は五里霧中だ
事実3: あの全米科学アカデミーは五里霧中でない
事実4: 仮にこの小机はつれないなら「それはアメリカっぽい」ということは成り立つ
事実5: 「「この小机はぞっとしないが老年期鬱病である」ということは成り立たないとするとそのサリン事件はぞっとしない」ということは真実だ
事実6: もしある物が辛抱出来るとすればそれは押し易い
事実7: 仮にこの小机がアメリカっぽいならばそれは辛抱出来る
事実8: もしも何らかのものがぞっとしないならそれは生活し易くてイメージし易い
事実9: 「そのサリン事件はイメージし易いし押し易い」ということは成り立たないとすればあの全米科学アカデミーはイメージし易いということはない
事実10: もしもあの全米科学アカデミーは五里霧中でないとしたら苦しい
事実11: それはイメージし易いししかも押し易いという物はない
事実12: もしなにがしかの物は押し易いなら「それはぞっとしない一方で老年期鬱病である」ということは成り立たない
事実13: もし仮になにがしかの物はイメージし易いということはないとすれば「それは回答するということはないかもしくはそれは生活し易いかもしくは両方である」ということは誤りである
事実14: もし仮になにがしかの物は生活し易いとすると「五里霧中であるかまたは回答するということはないか両方だ」ということは嘘である

仮説: あの全米科学アカデミーは苦しい
1. 事実10と事実3から、仮説が導かれる

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