その花見は取り易い
fact1: もしもなんらかのものがキャブレターならばそれはまったりする fact2: 仮にその高度成長期がまったりするとしたらこの書院番は金融機関でなくて更に囁き掛けない fact3: その花見が掛け難いがそれが情け深くないとするとこの書院番はロッカーだ fact4: もしもこの書院番が金融機関でないしかつ囁き掛けないとしたらその花見は囁き掛けない fact5: もしなにかは細かくないとしたら「それはキャブレターであるかもしくはそれは金融機関であるかどちらもだ」ということは事実と異なる fact6: その高度成長期はロッカーでない fact7: もし仮にその花見が掛け難くなくてまた情け深くないとすればこの書院番はロッカーだ fact8: もし仮にその輸出加工区は通婚圏であるけど発電コストでないとすれば「あの子供達同士は細かくない」ということは正しい fact9: 仮にこの書院番は取り易いとすれば「その花見は取り易い」ということは成り立つ fact10: もしも「何らかの物は囁き掛けない」ということは確かであるならば「取り易いしそれにロッカーだ」ということは正しい fact11: その輸出加工区はピンポンである fact12: この書院番は嫌しないし取り易くない fact13: 仮にこの書院番が情け深くないならその花見は情け深くない fact14: 取り易い物はロッカーであるということはないとしたらそれは情け深い fact15: この書院番が弱々しいとしたら情け深くない fact16: その高度成長期がロッカーでないとすればあの書院番はロッカーでない fact17: その花見は掛け難くない fact18: あの麦茶は通婚圏である fact19: なんらかの物が推測出来るとすれば通婚圏だけど発電コストでない fact20: もしもその花見が取り易いとするとそれは掛け難くない fact21: もしあの麦茶がまったりするならその高度成長期は囁き掛けないけどロッカーだ fact22: ピンポンは推測出来る fact23: その高度成長期は掛け難い fact24: その花見が取り易いなら掛け難くなくて加えて情け深くない
void -> assump1: 以下のように仮定する。その花見は取り易い; fact24 & assump1 -> int1: その花見は掛け難くないしかつ情け深くない; int1 & fact7 -> int2: この書院番はロッカーだ; fact16 & fact6 -> int3: この書院番はロッカーでない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis;
その花見は取り易い
fact27 -> int5: 「その花見は囁き掛けるということはない」ということは成り立つならそれは取り易いしロッカーだ; fact28 -> int6: 「その高度成長期はキャブレターである」ということは事実であるとするとまったりする; fact26 -> int7: 「通婚圏である」物はある;
$facts$ = fact1: もしもなんらかのものがキャブレターならばそれはまったりする fact2: 仮にその高度成長期がまったりするとしたらこの書院番は金融機関でなくて更に囁き掛けない fact3: その花見が掛け難いがそれが情け深くないとするとこの書院番はロッカーだ fact4: もしもこの書院番が金融機関でないしかつ囁き掛けないとしたらその花見は囁き掛けない fact5: もしなにかは細かくないとしたら「それはキャブレターであるかもしくはそれは金融機関であるかどちらもだ」ということは事実と異なる fact6: その高度成長期はロッカーでない fact7: もし仮にその花見が掛け難くなくてまた情け深くないとすればこの書院番はロッカーだ fact8: もし仮にその輸出加工区は通婚圏であるけど発電コストでないとすれば「あの子供達同士は細かくない」ということは正しい fact9: 仮にこの書院番は取り易いとすれば「その花見は取り易い」ということは成り立つ fact10: もしも「何らかの物は囁き掛けない」ということは確かであるならば「取り易いしそれにロッカーだ」ということは正しい fact11: その輸出加工区はピンポンである fact12: この書院番は嫌しないし取り易くない fact13: 仮にこの書院番が情け深くないならその花見は情け深くない fact14: 取り易い物はロッカーであるということはないとしたらそれは情け深い fact15: この書院番が弱々しいとしたら情け深くない fact16: その高度成長期がロッカーでないとすればあの書院番はロッカーでない fact17: その花見は掛け難くない fact18: あの麦茶は通婚圏である fact19: なんらかの物が推測出来るとすれば通婚圏だけど発電コストでない fact20: もしもその花見が取り易いとするとそれは掛け難くない fact21: もしあの麦茶がまったりするならその高度成長期は囁き掛けないけどロッカーだ fact22: ピンポンは推測出来る fact23: その高度成長期は掛け難い fact24: その花見が取り易いなら掛け難くなくて加えて情け深くない ; $hypothesis$ = その花見は取り易い ; $proof$ = 
void -> assump1: 以下のように仮定する。その花見は取り易い; fact24 & assump1 -> int1: その花見は掛け難くないしかつ情け深くない; int1 & fact7 -> int2: この書院番はロッカーだ; fact16 & fact6 -> int3: この書院番はロッカーでない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: もしもなんらかのものがキャブレターならばそれはまったりする
事実2: 仮にその高度成長期がまったりするとしたらこの書院番は金融機関でなくて更に囁き掛けない
事実3: その花見が掛け難いがそれが情け深くないとするとこの書院番はロッカーだ
事実4: もしもこの書院番が金融機関でないしかつ囁き掛けないとしたらその花見は囁き掛けない
事実5: もしなにかは細かくないとしたら「それはキャブレターであるかもしくはそれは金融機関であるかどちらもだ」ということは事実と異なる
事実6: その高度成長期はロッカーでない
事実7: もし仮にその花見が掛け難くなくてまた情け深くないとすればこの書院番はロッカーだ
事実8: もし仮にその輸出加工区は通婚圏であるけど発電コストでないとすれば「あの子供達同士は細かくない」ということは正しい
事実9: 仮にこの書院番は取り易いとすれば「その花見は取り易い」ということは成り立つ
事実10: もしも「何らかの物は囁き掛けない」ということは確かであるならば「取り易いしそれにロッカーだ」ということは正しい
事実11: その輸出加工区はピンポンである
事実12: この書院番は嫌しないし取り易くない
事実13: 仮にこの書院番が情け深くないならその花見は情け深くない
事実14: 取り易い物はロッカーであるということはないとしたらそれは情け深い
事実15: この書院番が弱々しいとしたら情け深くない
事実16: その高度成長期がロッカーでないとすればあの書院番はロッカーでない
事実17: その花見は掛け難くない
事実18: あの麦茶は通婚圏である
事実19: なんらかの物が推測出来るとすれば通婚圏だけど発電コストでない
事実20: もしもその花見が取り易いとするとそれは掛け難くない
事実21: もしあの麦茶がまったりするならその高度成長期は囁き掛けないけどロッカーだ
事実22: ピンポンは推測出来る
事実23: その高度成長期は掛け難い
事実24: その花見が取り易いなら掛け難くなくて加えて情け深くない

仮説: その花見は取り易い
1. 仮定1: 以下のように仮定する。その花見は取り易い
2. 事実24と仮定1から、推論1: "その花見は掛け難くないしかつ情け深くない"が導かれる
3. 推論1と事実7から、推論2: "この書院番はロッカーだ"が導かれる
4. 事実16と事実6から、推論3: "この書院番はロッカーでない"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、仮説が否定される

よって、仮説が否定されました。