あのみくみにLv.98は雪深くないがそれは感じ難い
fact1: もしあるモンスターが見逃さないかもしくはそれが感じ難くないとすれば雪深くない fact2: あのまわまちゅLv.58は感じ難い fact3: もし仮にそのもわもちゅLv.33が済ま無いならそのもわもちゅLv.33は倹しい fact4: そのもわもちゅLv.33は雪深いとすると「あのみくみにLv.98は雪深くて感じ難い」ということは間違っている fact5: そのもわもちゅLv.33は済ま無い fact6: 「あのみくみにLv.98は雪深くて加えて感じ難い」ということは成り立たない fact7: 仮にそのもわもちゅLv.33は倹しいとしたら「雪深い」ということは間違いでない fact8: もしそのもわもちゅLv.33は雪深いとすれば「あのみくみにLv.98は雪深くないがそれは感じ難い」ということは偽だ
fact3 & fact5 -> int1: そのもわもちゅLv.33は倹しい; int1 & fact7 -> int2: そのもわもちゅLv.33は雪深い; int2 & fact8 -> hypothesis;
fact3 & fact5 -> int1: {B}{a}; int1 & fact7 -> int2: {C}{a}; int2 & fact8 -> hypothesis;
あのみくみにLv.98は倹しい
fact9 -> int3: 仮にあのみくみにLv.98が見逃さないかそれは感じ難いということはないかもしくは両方であるとしたら雪深くない;
$facts$ = fact1: もしあるモンスターが見逃さないかもしくはそれが感じ難くないとすれば雪深くない fact2: あのまわまちゅLv.58は感じ難い fact3: もし仮にそのもわもちゅLv.33が済ま無いならそのもわもちゅLv.33は倹しい fact4: そのもわもちゅLv.33は雪深いとすると「あのみくみにLv.98は雪深くて感じ難い」ということは間違っている fact5: そのもわもちゅLv.33は済ま無い fact6: 「あのみくみにLv.98は雪深くて加えて感じ難い」ということは成り立たない fact7: 仮にそのもわもちゅLv.33は倹しいとしたら「雪深い」ということは間違いでない fact8: もしそのもわもちゅLv.33は雪深いとすれば「あのみくみにLv.98は雪深くないがそれは感じ難い」ということは偽だ ; $hypothesis$ = あのみくみにLv.98は雪深くないがそれは感じ難い ; $proof$ = 
fact3 & fact5 -> int1: そのもわもちゅLv.33は倹しい; int1 & fact7 -> int2: そのもわもちゅLv.33は雪深い; int2 & fact8 -> hypothesis; __DISPROVED__
fact3 & fact5 -> int1: {B}{a}; int1 & fact7 -> int2: {C}{a}; int2 & fact8 -> hypothesis; __DISPROVED__