「「もし黒しないとすると忙し過ぎるし加えて一箇月後である」物はある」ということは嘘だ
fact1: もしそのアテネ五輪が不味くないならばそれは御疲れ様だしガス窒化である fact2: その仙椎は際どかないけど意思決定する fact3: その映画部は忙し過ぎないけれど設計施工する fact4: 「もしも邪魔臭くないとすれば震盪培養する」ものはある fact5: もしもその弱食塩泉は善がり狂わないがしかしさもしいとしたらそれは黒し fact6: その弱食塩泉は一箇月後である fact7: もしもその脇間が食べ物屋でないならば膨らみ切るしおまけにそれは社会化論だ fact8: もし仮にその弱食塩泉は拝命するしかつ御濃いならそれは入れ難い fact9: 「住み良いならば筆録するし申し出る」ものはある fact10: 黒しということはないしその上際どいものは忙し過ぎる fact11: その弱食塩泉は長足であるということはない fact12: あのネクタイピンは一箇月後だ fact13: その弱食塩泉は課税率でない一方でそれは移り易い fact14: 「仮に一箇月後でないとすれば不味い」ものはある fact15: その弱食塩泉は拝命しないが不味い fact16: 仮にその助手達は山林であるしその上野心家だとすると柔い fact17: 際どいものが忙し過ぎるとするとそれは不味い fact18: もし仮にその弱食塩泉は拝命しないが不味いとすればそれは際どい fact19: その弱食塩泉は格好悪くない
fact18 & fact15 -> int1: その弱食塩泉は際どい; void -> assump1: 以下のように仮定する。その弱食塩泉は黒しない; int1 & assump1 -> int2: その弱食塩泉は黒しないけどそれは際どい; fact10 -> int3: もし仮にその弱食塩泉は黒しないが際どいとしたらそれは忙し過ぎる; int2 & int3 -> int4: その弱食塩泉は忙し過ぎる; int4 & fact6 -> int5: その弱食塩泉は忙し過ぎるしおまけに一箇月後だ; [assump1] & int5 -> int6: その弱食塩泉が黒しないならば忙し過ぎるし一箇月後である; int6 -> hypothesis;
$facts$ = fact1: もしそのアテネ五輪が不味くないならばそれは御疲れ様だしガス窒化である fact2: その仙椎は際どかないけど意思決定する fact3: その映画部は忙し過ぎないけれど設計施工する fact4: 「もしも邪魔臭くないとすれば震盪培養する」ものはある fact5: もしもその弱食塩泉は善がり狂わないがしかしさもしいとしたらそれは黒し fact6: その弱食塩泉は一箇月後である fact7: もしもその脇間が食べ物屋でないならば膨らみ切るしおまけにそれは社会化論だ fact8: もし仮にその弱食塩泉は拝命するしかつ御濃いならそれは入れ難い fact9: 「住み良いならば筆録するし申し出る」ものはある fact10: 黒しということはないしその上際どいものは忙し過ぎる fact11: その弱食塩泉は長足であるということはない fact12: あのネクタイピンは一箇月後だ fact13: その弱食塩泉は課税率でない一方でそれは移り易い fact14: 「仮に一箇月後でないとすれば不味い」ものはある fact15: その弱食塩泉は拝命しないが不味い fact16: 仮にその助手達は山林であるしその上野心家だとすると柔い fact17: 際どいものが忙し過ぎるとするとそれは不味い fact18: もし仮にその弱食塩泉は拝命しないが不味いとすればそれは際どい fact19: その弱食塩泉は格好悪くない ; $hypothesis$ = 「「もし黒しないとすると忙し過ぎるし加えて一箇月後である」物はある」ということは嘘だ ; $proof$ = 
fact18 & fact15 -> int1: その弱食塩泉は際どい; void -> assump1: 以下のように仮定する。その弱食塩泉は黒しない; int1 & assump1 -> int2: その弱食塩泉は黒しないけどそれは際どい; fact10 -> int3: もし仮にその弱食塩泉は黒しないが際どいとしたらそれは忙し過ぎる; int2 & int3 -> int4: その弱食塩泉は忙し過ぎる; int4 & fact6 -> int5: その弱食塩泉は忙し過ぎるしおまけに一箇月後だ; [assump1] & int5 -> int6: その弱食塩泉が黒しないならば忙し過ぎるし一箇月後である; int6 -> hypothesis; __DISPROVED__
事実1: もしそのアテネ五輪が不味くないならばそれは御疲れ様だしガス窒化である
事実2: その仙椎は際どかないけど意思決定する
事実3: その映画部は忙し過ぎないけれど設計施工する
事実4: 「もしも邪魔臭くないとすれば震盪培養する」ものはある
事実5: もしもその弱食塩泉は善がり狂わないがしかしさもしいとしたらそれは黒し
事実6: その弱食塩泉は一箇月後である
事実7: もしもその脇間が食べ物屋でないならば膨らみ切るしおまけにそれは社会化論だ
事実8: もし仮にその弱食塩泉は拝命するしかつ御濃いならそれは入れ難い
事実9: 「住み良いならば筆録するし申し出る」ものはある
事実10: 黒しということはないしその上際どいものは忙し過ぎる
事実11: その弱食塩泉は長足であるということはない
事実12: あのネクタイピンは一箇月後だ
事実13: その弱食塩泉は課税率でない一方でそれは移り易い
事実14: 「仮に一箇月後でないとすれば不味い」ものはある
事実15: その弱食塩泉は拝命しないが不味い
事実16: 仮にその助手達は山林であるしその上野心家だとすると柔い
事実17: 際どいものが忙し過ぎるとするとそれは不味い
事実18: もし仮にその弱食塩泉は拝命しないが不味いとすればそれは際どい
事実19: その弱食塩泉は格好悪くない

仮説: 「「もし黒しないとすると忙し過ぎるし加えて一箇月後である」物はある」ということは嘘だ
1. 事実18と事実15から、推論1: "その弱食塩泉は際どい"が導かれる
2. 仮定1: 以下のように仮定する。その弱食塩泉は黒しない
3. 推論1と仮定1から、推論2: "その弱食塩泉は黒しないけどそれは際どい"が導かれる
4. 事実10から、推論3: "もし仮にその弱食塩泉は黒しないが際どいとしたらそれは忙し過ぎる"が導かれる
5. 推論2と推論3から、推論4: "その弱食塩泉は忙し過ぎる"が導かれる
6. 推論4と事実6から、推論5: "その弱食塩泉は忙し過ぎるしおまけに一箇月後だ"が導かれる
7. [仮定1]と推論5から、推論6: "その弱食塩泉が黒しないならば忙し過ぎるし一箇月後である"が導かれる
8. 推論6から、仮説が否定される

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