その地域生協は狭くない
fact1: そのＥＫＤは小暗い fact2: やばい物は太い fact3: いとおしくない物は大阪府広域的水道整備計画だということはないしまた恭しいということはない fact4: 小暗くないものは狭いということはない fact5: この椀は小暗い fact6: 仮になにかは大阪府広域的水道整備計画でないしそれに恭しくないとすればやばい fact7: 仮にそのＥＫＤがＸ線撮影ならばその地域生協は狭い fact8: そのＥＫＤは滑落するかあるいは広くない fact9: もしもその地域生協が小暗いとするとそのＥＫＤは狭い fact10: もしも何らかのものが拡大するかそれが入れ為さらないとすればそれは生え変わる fact11: そのＥＫＤはＸ線撮影でそれは小暗い fact12: 仮に「拡大しない」ものがあるとすればこのセーラーは小暗いしまたそれは生え変わる fact13: 仮にそのＥＫＤが生え変わるとしたらその地域生協は小暗くないかあるいはＸ線撮影でないかまたは両方である fact14: あの放屁音は恭しくない fact15: 太いものは拡大するかもしくは入れ為さらないかどちらもである fact16: そのＥＫＤは小暗いしさらにそれは狭い fact17: 小暗いものは狭い fact18: もしもあの不謹慎が入れ為さるならその地域生協は拡大しない fact19: その地域生協が拡大しないとすればそのシンガポール企業は生え変わるしまた小暗い fact20: 仮になにがしかのものが滑落するかもしくは広いということはないかまたはどちらもだとするとそれはいとおしいということはない fact21: もしあの放屁音が恭しいということはないならこの前項は太いけどそれはやばくない fact22: もし仮にこの前項が太い一方でやばくないならあの不謹慎は入れ為さる
fact11 -> int1: そのＥＫＤはＸ線撮影だ; int1 & fact7 -> hypothesis;
fact11 -> int1: {A}{a}; int1 & fact7 -> hypothesis;
「その地域生協は狭くない」ということは成り立つ
fact23 -> int2: 仮にそのＥＫＤが拡大するかもしくはそれが入れ為さらないとすると生え変わる; fact31 -> int3: 「仮にそのＥＫＤが太いならそのＥＫＤは拡大するかあるいはそれは入れ為さらないかもしくは両方だ」ということは事実と異なるということはない; fact26 -> int4: もし仮にそのＥＫＤがやばいならそれは太い; fact30 -> int5: 仮にそのＥＫＤは大阪府広域的水道整備計画でないししかも恭しくないとしたらそれはやばい; fact28 -> int6: もし仮にそのＥＫＤがいとおしくないとするとそれは大阪府広域的水道整備計画でなくて恭しくない; fact29 -> int7: もし仮にそのＥＫＤが滑落するかまたは広くないならいとおしいということはない; int7 & fact24 -> int8: そのＥＫＤはいとおしくない; int6 & int8 -> int9: そのＥＫＤは大阪府広域的水道整備計画でないしおまけに恭しくない; int5 & int9 -> int10: そのＥＫＤはやばい; int4 & int10 -> int11: そのＥＫＤは太い; int3 & int11 -> int12: そのＥＫＤは拡大するかあるいは入れ為さらない; int2 & int12 -> int13: 「そのＥＫＤは生え変わる」ということは真実である; fact25 & int13 -> int14: その地域生協は小暗くないかまたはＸ線撮影でないかあるいは両方ともだ; fact27 -> int15: 仮にその地域生協が小暗くないならばそれは狭くない;
$facts$ = fact1: そのＥＫＤは小暗い fact2: やばい物は太い fact3: いとおしくない物は大阪府広域的水道整備計画だということはないしまた恭しいということはない fact4: 小暗くないものは狭いということはない fact5: この椀は小暗い fact6: 仮になにかは大阪府広域的水道整備計画でないしそれに恭しくないとすればやばい fact7: 仮にそのＥＫＤがＸ線撮影ならばその地域生協は狭い fact8: そのＥＫＤは滑落するかあるいは広くない fact9: もしもその地域生協が小暗いとするとそのＥＫＤは狭い fact10: もしも何らかのものが拡大するかそれが入れ為さらないとすればそれは生え変わる fact11: そのＥＫＤはＸ線撮影でそれは小暗い fact12: 仮に「拡大しない」ものがあるとすればこのセーラーは小暗いしまたそれは生え変わる fact13: 仮にそのＥＫＤが生え変わるとしたらその地域生協は小暗くないかあるいはＸ線撮影でないかまたは両方である fact14: あの放屁音は恭しくない fact15: 太いものは拡大するかもしくは入れ為さらないかどちらもである fact16: そのＥＫＤは小暗いしさらにそれは狭い fact17: 小暗いものは狭い fact18: もしもあの不謹慎が入れ為さるならその地域生協は拡大しない fact19: その地域生協が拡大しないとすればそのシンガポール企業は生え変わるしまた小暗い fact20: 仮になにがしかのものが滑落するかもしくは広いということはないかまたはどちらもだとするとそれはいとおしいということはない fact21: もしあの放屁音が恭しいということはないならこの前項は太いけどそれはやばくない fact22: もし仮にこの前項が太い一方でやばくないならあの不謹慎は入れ為さる ; $hypothesis$ = その地域生協は狭くない ; $proof$ = 
fact11 -> int1: そのＥＫＤはＸ線撮影だ; int1 & fact7 -> hypothesis; __DISPROVED__
事実1: そのＥＫＤは小暗い
事実2: やばい物は太い
事実3: いとおしくない物は大阪府広域的水道整備計画だということはないしまた恭しいということはない
事実4: 小暗くないものは狭いということはない
事実5: この椀は小暗い
事実6: 仮になにかは大阪府広域的水道整備計画でないしそれに恭しくないとすればやばい
事実7: 仮にそのＥＫＤがＸ線撮影ならばその地域生協は狭い
事実8: そのＥＫＤは滑落するかあるいは広くない
事実9: もしもその地域生協が小暗いとするとそのＥＫＤは狭い
事実10: もしも何らかのものが拡大するかそれが入れ為さらないとすればそれは生え変わる
事実11: そのＥＫＤはＸ線撮影でそれは小暗い
事実12: 仮に「拡大しない」ものがあるとすればこのセーラーは小暗いしまたそれは生え変わる
事実13: 仮にそのＥＫＤが生え変わるとしたらその地域生協は小暗くないかあるいはＸ線撮影でないかまたは両方である
事実14: あの放屁音は恭しくない
事実15: 太いものは拡大するかもしくは入れ為さらないかどちらもである
事実16: そのＥＫＤは小暗いしさらにそれは狭い
事実17: 小暗いものは狭い
事実18: もしもあの不謹慎が入れ為さるならその地域生協は拡大しない
事実19: その地域生協が拡大しないとすればそのシンガポール企業は生え変わるしまた小暗い
事実20: 仮になにがしかのものが滑落するかもしくは広いということはないかまたはどちらもだとするとそれはいとおしいということはない
事実21: もしあの放屁音が恭しいということはないならこの前項は太いけどそれはやばくない
事実22: もし仮にこの前項が太い一方でやばくないならあの不謹慎は入れ為さる

仮説: その地域生協は狭くない
1. 事実11から、推論1: "そのＥＫＤはＸ線撮影だ"が導かれる
2. 推論1と事実7から、仮説が否定される

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