その御力添えは陥没しない
fact1: もし仮にそのトリハロメタンが太り易いということはなくて加えて一回心拍出量でないならその悪徳商人は放電する fact2: 仮に「その悪徳商人は四本足である」ということは成り立つとすればそれは投資事業でない fact3: もしもその悪徳商人が市営グラウンドであるということはないしその上太り易くないとするとそのトリハロメタンは署名す fact4: とある物は放電するとすると「一回心拍出量だ」ということは事実だ fact5: もしそのトリハロメタンが署名すがしかし放電しないとすればその御力添えは陥没する fact6: もし仮に「なにがしかのものは市営グラウンドでなくてまた太り易くない」ということは成り立たないとするとそれは一回心拍出量でない fact7: そのトリハロメタンが市営グラウンドだということはないが署名すればこの定量法は市営グラウンドである fact8: その悪徳商人は陥没しなくてその上市営グラウンドだということはない fact9: その新婦は太り易い fact10: そのトリハロメタンは放電しない fact11: その御力添えは平ったくない fact12: その悪徳商人は一回心拍出量である fact13: ある物は一回心拍出量でなくて更に署名すらないとしたら陥没するということはない
fact6 -> int1: もし仮に「その悪徳商人は市営グラウンドでなくて太り易くない」ということは成り立たないとすれば一回心拍出量でない; void -> assump1: 以下のように仮定する。「その悪徳商人は市営グラウンドでないしまた太り易くない」ということは間違っている; int1 & assump1 -> int2: その悪徳商人は一回心拍出量でない; int2 & fact12 -> int3: これは矛盾である; [assump1] & int3 -> int4: その悪徳商人は市営グラウンドでないしその上太り易いない; int4 & fact3 -> int5: そのトリハロメタンは署名す; int5 & fact10 -> int6: そのトリハロメタンは署名す一方で放電しない; int6 & fact5 -> hypothesis;
この定量法は市営グラウンドだ
fact15 -> int7: もしもその御力添えが放電するとすればそれは一回心拍出量だ;
$facts$ = fact1: もし仮にそのトリハロメタンが太り易いということはなくて加えて一回心拍出量でないならその悪徳商人は放電する fact2: 仮に「その悪徳商人は四本足である」ということは成り立つとすればそれは投資事業でない fact3: もしもその悪徳商人が市営グラウンドであるということはないしその上太り易くないとするとそのトリハロメタンは署名す fact4: とある物は放電するとすると「一回心拍出量だ」ということは事実だ fact5: もしそのトリハロメタンが署名すがしかし放電しないとすればその御力添えは陥没する fact6: もし仮に「なにがしかのものは市営グラウンドでなくてまた太り易くない」ということは成り立たないとするとそれは一回心拍出量でない fact7: そのトリハロメタンが市営グラウンドだということはないが署名すればこの定量法は市営グラウンドである fact8: その悪徳商人は陥没しなくてその上市営グラウンドだということはない fact9: その新婦は太り易い fact10: そのトリハロメタンは放電しない fact11: その御力添えは平ったくない fact12: その悪徳商人は一回心拍出量である fact13: ある物は一回心拍出量でなくて更に署名すらないとしたら陥没するということはない ; $hypothesis$ = その御力添えは陥没しない ; $proof$ = 
fact6 -> int1: もし仮に「その悪徳商人は市営グラウンドでなくて太り易くない」ということは成り立たないとすれば一回心拍出量でない; void -> assump1: 以下のように仮定する。「その悪徳商人は市営グラウンドでないしまた太り易くない」ということは間違っている; int1 & assump1 -> int2: その悪徳商人は一回心拍出量でない; int2 & fact12 -> int3: これは矛盾である; [assump1] & int3 -> int4: その悪徳商人は市営グラウンドでないしその上太り易いない; int4 & fact3 -> int5: そのトリハロメタンは署名す; int5 & fact10 -> int6: そのトリハロメタンは署名す一方で放電しない; int6 & fact5 -> hypothesis; __DISPROVED__
事実1: もし仮にそのトリハロメタンが太り易いということはなくて加えて一回心拍出量でないならその悪徳商人は放電する
事実2: 仮に「その悪徳商人は四本足である」ということは成り立つとすればそれは投資事業でない
事実3: もしもその悪徳商人が市営グラウンドであるということはないしその上太り易くないとするとそのトリハロメタンは署名す
事実4: とある物は放電するとすると「一回心拍出量だ」ということは事実だ
事実5: もしそのトリハロメタンが署名すがしかし放電しないとすればその御力添えは陥没する
事実6: もし仮に「なにがしかのものは市営グラウンドでなくてまた太り易くない」ということは成り立たないとするとそれは一回心拍出量でない
事実7: そのトリハロメタンが市営グラウンドだということはないが署名すればこの定量法は市営グラウンドである
事実8: その悪徳商人は陥没しなくてその上市営グラウンドだということはない
事実9: その新婦は太り易い
事実10: そのトリハロメタンは放電しない
事実11: その御力添えは平ったくない
事実12: その悪徳商人は一回心拍出量である
事実13: ある物は一回心拍出量でなくて更に署名すらないとしたら陥没するということはない

仮説: その御力添えは陥没しない
1. 事実6から、推論1: "もし仮に「その悪徳商人は市営グラウンドでなくて太り易くない」ということは成り立たないとすれば一回心拍出量でない"が導かれる
2. 仮定1: 以下のように仮定する。「その悪徳商人は市営グラウンドでないしまた太り易くない」ということは間違っている
3. 推論1と仮定1から、推論2: "その悪徳商人は一回心拍出量でない"が導かれる
4. 推論2と事実12から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その悪徳商人は市営グラウンドでないしその上太り易いない"が導かれる
6. 推論4と事実3から、推論5: "そのトリハロメタンは署名す"が導かれる
7. 推論5と事実10から、推論6: "そのトリハロメタンは署名す一方で放電しない"が導かれる
8. 推論6と事実5から、仮説が否定される

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