この十七日号は安しない
fact1: あの大学教育研究センターは気安い fact2: この十七日号は吹き消す fact3: 仮にこの十七日号が吹き消すとするとそのマーケッターは安し fact4: あの陸地は気安い fact5: そのピアノソナタは気安い fact6: もしこの十七日号が安しなら気安い fact7: あの陸地は吹き消す fact8: もしも「そのマーケッターは吹き消す」ということは事実であるとしたらこの十七日号は自己投資である fact9: そのマーケッターは自己投資であるとしたらそれは吹き消す fact10: あの陸地は安し fact11: あの陸地は自己投資である fact12: この十七日号は骨っぽい fact13: あの陸地は親以外だ fact14: もし仮にあの陸地が安しならばあの十七日号は気安い fact15: 仮にとある物は自己投資であるとしたら安し fact16: その遠雷は気安い fact17: 「そのマーケッターは安し」ということは事実である fact18: そのマーケッターは寂しい fact19: あの不当行為は安し fact20: もし仮に「あの陸地は気安い」ということは間違っていないならばそのマーケッターは吹き消す fact21: この十七日号は気安い fact22: あの組み技選手は吹き消す fact23: 仮にそのマーケッターは気安いならば「あの陸地は吹き消す」ということは確かだ
fact20 & fact4 -> int1: そのマーケッターは吹き消す; int1 & fact8 -> int2: この十七日号は自己投資だ; fact15 -> int3: もしこの十七日号が自己投資だとしたらそれは安し; int2 & int3 -> hypothesis;
$facts$ = fact1: あの大学教育研究センターは気安い fact2: この十七日号は吹き消す fact3: 仮にこの十七日号が吹き消すとするとそのマーケッターは安し fact4: あの陸地は気安い fact5: そのピアノソナタは気安い fact6: もしこの十七日号が安しなら気安い fact7: あの陸地は吹き消す fact8: もしも「そのマーケッターは吹き消す」ということは事実であるとしたらこの十七日号は自己投資である fact9: そのマーケッターは自己投資であるとしたらそれは吹き消す fact10: あの陸地は安し fact11: あの陸地は自己投資である fact12: この十七日号は骨っぽい fact13: あの陸地は親以外だ fact14: もし仮にあの陸地が安しならばあの十七日号は気安い fact15: 仮にとある物は自己投資であるとしたら安し fact16: その遠雷は気安い fact17: 「そのマーケッターは安し」ということは事実である fact18: そのマーケッターは寂しい fact19: あの不当行為は安し fact20: もし仮に「あの陸地は気安い」ということは間違っていないならばそのマーケッターは吹き消す fact21: この十七日号は気安い fact22: あの組み技選手は吹き消す fact23: 仮にそのマーケッターは気安いならば「あの陸地は吹き消す」ということは確かだ ; $hypothesis$ = この十七日号は安しない ; $proof$ = 
fact20 & fact4 -> int1: そのマーケッターは吹き消す; int1 & fact8 -> int2: この十七日号は自己投資だ; fact15 -> int3: もしこの十七日号が自己投資だとしたらそれは安し; int2 & int3 -> 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: 仮にそのマーケッターは気安いならば「あの陸地は吹き消す」ということは確かだ

仮説: この十七日号は安しない
1. 事実20と事実4から、推論1: "そのマーケッターは吹き消す"が導かれる
2. 推論1と事実8から、推論2: "この十七日号は自己投資だ"が導かれる
3. 事実15から、推論3: "もしこの十七日号が自己投資だとしたらそれは安し"が導かれる
4. 推論2と推論3から、仮説が否定される

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