あのぴくぴにゃLv.73はとろいけどそれは生き難くない
fact1: 仮に「あのぴくぴにゃLv.73は尤もらしいということはない」ということは事実ならば「そのぽいぽちょLv.17は生き難いけど尤もらしくない」ということは間違いだ fact2: 「あのぴくぴにゃLv.73はとろいししかも生き難い」ということは成り立たない fact3: もしもあのぷえぷちゅLv.70が春らしくないとすればあのぴくぴにゃLv.73は尤もらしいし更にとろい fact4: そのぽいぽちょLv.17は尤もらしくない fact5: そのぽいぽちょLv.17がとろいならこのぴにゃぴちょLv.21はとろい fact6: すべてのモンスターはきもくないけれど春らしい fact7: もしそのぽいぽちょLv.17が生き難いとすれば尤もらしい
void -> assump1: 以下のように仮定する。そのぽいぽちょLv.17は生き難い; fact7 & assump1 -> int1: 「そのぽいぽちょLv.17は尤もらしい」ということは成り立つ; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> int3: そのぽいぽちょLv.17は生き難いということはない;
void -> assump1: {A}{a}; fact7 & assump1 -> int1: {B}{a}; int1 & fact4 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a};
あのぴくぴにゃLv.73はとろいけどそれは生き難くない
fact8 -> int4: そのぽいぽちょLv.17はきもくないけど春らしい; int4 -> int5: そのぽいぽちょLv.17は春らしい; int5 -> int6: 「春らしい」モンスターはいる;
$facts$ = fact1: 仮に「あのぴくぴにゃLv.73は尤もらしいということはない」ということは事実ならば「そのぽいぽちょLv.17は生き難いけど尤もらしくない」ということは間違いだ fact2: 「あのぴくぴにゃLv.73はとろいししかも生き難い」ということは成り立たない fact3: もしもあのぷえぷちゅLv.70が春らしくないとすればあのぴくぴにゃLv.73は尤もらしいし更にとろい fact4: そのぽいぽちょLv.17は尤もらしくない fact5: そのぽいぽちょLv.17がとろいならこのぴにゃぴちょLv.21はとろい fact6: すべてのモンスターはきもくないけれど春らしい fact7: もしそのぽいぽちょLv.17が生き難いとすれば尤もらしい ; $hypothesis$ = あのぴくぴにゃLv.73はとろいけどそれは生き難くない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__