その戦記物は助命しない
fact1: あのパーティー会場は抑圧する fact2: この虐殺は非常措置でない一方でドゥー‐ホワイル文だ fact3: もし「ある物は監査意見であるしおまけにネットする」ということは誤っているとしたらそれは監査意見でない fact4: あの山形県人は保健師でない fact5: その戦記物は安堵し難くない fact6: その戦記物が抑圧するなら安堵し難くないし助命しない fact7: なにがしかの物は堪り易くないとすれば「それは監査意見だしまたネットする」ということは間違いだ fact8: その戦記物は減圧しない fact9: もし仮にあの山形県人は保健師でないなら「それは染みるけれど医局在籍時でない」ということは誤りだ fact10: 仮にあの凸レンズが志さないならその戦記物は助命するしその上抑圧する fact11: 仮に如何わしい物が商標法ならば堪り易くない fact12: あの毎週末は浮き上がらなくて助命するということはない fact13: 仮になんらかのものは監査意見でないとしたら抑圧するし志す fact14: その戦記物は抑圧する fact15: 仮に「あの山形県人は染みるけど医局在籍時でない」ということは誤りだとしたら如何わしい fact16: もし仮にあの山形県人が監査意見でないならばあの凸レンズは志さない fact17: 「「非常措置でないしドゥー‐ホワイル文な」物はある」ということは本当であるとしたらこの仲裁人は悪くない
fact6 & fact14 -> int1: その戦記物は安堵し難くないしその上助命しない; int1 -> hypothesis;
fact6 & fact14 -> int1: (¬{AA}{a} & ¬{AB}{a}); int1 -> hypothesis;
あの百字は助命しないしおまけにそれは被災でない
fact18 -> int2: 仮にあの百字が監査意見でないとすればそれは抑圧するしおまけに志す;
$facts$ = fact1: あのパーティー会場は抑圧する fact2: この虐殺は非常措置でない一方でドゥー‐ホワイル文だ fact3: もし「ある物は監査意見であるしおまけにネットする」ということは誤っているとしたらそれは監査意見でない fact4: あの山形県人は保健師でない fact5: その戦記物は安堵し難くない fact6: その戦記物が抑圧するなら安堵し難くないし助命しない fact7: なにがしかの物は堪り易くないとすれば「それは監査意見だしまたネットする」ということは間違いだ fact8: その戦記物は減圧しない fact9: もし仮にあの山形県人は保健師でないなら「それは染みるけれど医局在籍時でない」ということは誤りだ fact10: 仮にあの凸レンズが志さないならその戦記物は助命するしその上抑圧する fact11: 仮に如何わしい物が商標法ならば堪り易くない fact12: あの毎週末は浮き上がらなくて助命するということはない fact13: 仮になんらかのものは監査意見でないとしたら抑圧するし志す fact14: その戦記物は抑圧する fact15: 仮に「あの山形県人は染みるけど医局在籍時でない」ということは誤りだとしたら如何わしい fact16: もし仮にあの山形県人が監査意見でないならばあの凸レンズは志さない fact17: 「「非常措置でないしドゥー‐ホワイル文な」物はある」ということは本当であるとしたらこの仲裁人は悪くない ; $hypothesis$ = その戦記物は助命しない ; $proof$ = 
fact6 & fact14 -> int1: その戦記物は安堵し難くないしその上助命しない; int1 -> hypothesis; __PROVED__
事実1: あのパーティー会場は抑圧する
事実2: この虐殺は非常措置でない一方でドゥー‐ホワイル文だ
事実3: もし「ある物は監査意見であるしおまけにネットする」ということは誤っているとしたらそれは監査意見でない
事実4: あの山形県人は保健師でない
事実5: その戦記物は安堵し難くない
事実6: その戦記物が抑圧するなら安堵し難くないし助命しない
事実7: なにがしかの物は堪り易くないとすれば「それは監査意見だしまたネットする」ということは間違いだ
事実8: その戦記物は減圧しない
事実9: もし仮にあの山形県人は保健師でないなら「それは染みるけれど医局在籍時でない」ということは誤りだ
事実10: 仮にあの凸レンズが志さないならその戦記物は助命するしその上抑圧する
事実11: 仮に如何わしい物が商標法ならば堪り易くない
事実12: あの毎週末は浮き上がらなくて助命するということはない
事実13: 仮になんらかのものは監査意見でないとしたら抑圧するし志す
事実14: その戦記物は抑圧する
事実15: 仮に「あの山形県人は染みるけど医局在籍時でない」ということは誤りだとしたら如何わしい
事実16: もし仮にあの山形県人が監査意見でないならばあの凸レンズは志さない
事実17: 「「非常措置でないしドゥー‐ホワイル文な」物はある」ということは本当であるとしたらこの仲裁人は悪くない

仮説: その戦記物は助命しない
1. 事実6と事実14から、推論1: "その戦記物は安堵し難くないしその上助命しない"が導かれる
2. 推論1から、仮説が導かれる

よって、仮説が証明されました。