このＲＰＧは踊り出さない
fact1: もしもあの動態論は侍・レーベルでないならば「それは移設するし抜き掛けない」ということは成り立つということはない fact2: 「あの動態論は移設する」ということは正しい fact3: もしあの干瓢が御辛くないならそれはコーディネイトするしまた幸いする fact4: この戦い方は抜き掛ける fact5: あの干瓢は怖ーいし加えて応じ得る fact6: 「あの講和条約は移設する」ということは正しい fact7: 「この投資有限公司は幸いしない」ということは本当である fact8: もしもあの干瓢が抜き掛けるしさらに侍・レーベルであるならばこのＲＰＧは踊り出さない fact9: もし仮に「あの動態論は移設する一方で抜き掛けない」ということは本当でないなら「あのショッカー怪人は抜き掛けない」ということは本当である fact10: あの干瓢は幸いする fact11: もし仮にあの動態論が移設するならあの干瓢は抜き掛ける fact12: あの妻帯はぶつかり合うしさらに踊り出す fact13: あの干瓢は踊り出す fact14: あの動態論は幸いする fact15: あの干瓢は御辛くない fact16: あの干瓢は侍・レーベルであるし加えて幸いする fact17: この産業育成は移設する
fact11 & fact2 -> int1: あの干瓢は抜き掛ける; fact16 -> int2: あの干瓢は侍・レーベルである; int1 & int2 -> int3: あの干瓢は抜き掛けるし更に侍・レーベルである; int3 & fact8 -> hypothesis;
fact11 & fact2 -> int1: {B}{b}; fact16 -> int2: {C}{b}; int1 & int2 -> int3: ({B}{b} & {C}{b}); int3 & fact8 -> hypothesis;
あのショッカー怪人は抜き掛けない
$facts$ = fact1: もしもあの動態論は侍・レーベルでないならば「それは移設するし抜き掛けない」ということは成り立つということはない fact2: 「あの動態論は移設する」ということは正しい fact3: もしあの干瓢が御辛くないならそれはコーディネイトするしまた幸いする fact4: この戦い方は抜き掛ける fact5: あの干瓢は怖ーいし加えて応じ得る fact6: 「あの講和条約は移設する」ということは正しい fact7: 「この投資有限公司は幸いしない」ということは本当である fact8: もしもあの干瓢が抜き掛けるしさらに侍・レーベルであるならばこのＲＰＧは踊り出さない fact9: もし仮に「あの動態論は移設する一方で抜き掛けない」ということは本当でないなら「あのショッカー怪人は抜き掛けない」ということは本当である fact10: あの干瓢は幸いする fact11: もし仮にあの動態論が移設するならあの干瓢は抜き掛ける fact12: あの妻帯はぶつかり合うしさらに踊り出す fact13: あの干瓢は踊り出す fact14: あの動態論は幸いする fact15: あの干瓢は御辛くない fact16: あの干瓢は侍・レーベルであるし加えて幸いする fact17: この産業育成は移設する ; $hypothesis$ = このＲＰＧは踊り出さない ; $proof$ = 
fact11 & fact2 -> int1: あの干瓢は抜き掛ける; fact16 -> int2: あの干瓢は侍・レーベルである; int1 & int2 -> int3: あの干瓢は抜き掛けるし更に侍・レーベルである; int3 & fact8 -> hypothesis; __PROVED__
事実1: もしもあの動態論は侍・レーベルでないならば「それは移設するし抜き掛けない」ということは成り立つということはない
事実2: 「あの動態論は移設する」ということは正しい
事実3: もしあの干瓢が御辛くないならそれはコーディネイトするしまた幸いする
事実4: この戦い方は抜き掛ける
事実5: あの干瓢は怖ーいし加えて応じ得る
事実6: 「あの講和条約は移設する」ということは正しい
事実7: 「この投資有限公司は幸いしない」ということは本当である
事実8: もしもあの干瓢が抜き掛けるしさらに侍・レーベルであるならばこのＲＰＧは踊り出さない
事実9: もし仮に「あの動態論は移設する一方で抜き掛けない」ということは本当でないなら「あのショッカー怪人は抜き掛けない」ということは本当である
事実10: あの干瓢は幸いする
事実11: もし仮にあの動態論が移設するならあの干瓢は抜き掛ける
事実12: あの妻帯はぶつかり合うしさらに踊り出す
事実13: あの干瓢は踊り出す
事実14: あの動態論は幸いする
事実15: あの干瓢は御辛くない
事実16: あの干瓢は侍・レーベルであるし加えて幸いする
事実17: この産業育成は移設する

仮説: このＲＰＧは踊り出さない
1. 事実11と事実2から、推論1: "あの干瓢は抜き掛ける"が導かれる
2. 事実16から、推論2: "あの干瓢は侍・レーベルである"が導かれる
3. 推論1と推論2から、推論3: "あの干瓢は抜き掛けるし更に侍・レーベルである"が導かれる
4. 推論3と事実8から、仮説が導かれる

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