そのぽよぽにゅLv.20は良くない
fact1: あのぽにょぽちゅLv.11は密封出来るかあるいはそれは良いか両方である fact2: 「あのぽにょぽちゅLv.11は密封出来る」ということは事実である fact3: もしもそのぽよぽにゅLv.20は良いなら「そのぷやぷねLv.66は与え易いか進め易いということはないかあるいは両方だ」ということは正しい fact4: 良くないモンスターは御構い無いかまたはか細くないかまたはどちらもだ fact5: もしもあのぽにょぽちゅLv.11が良いかあるいは与え易いということはないかまたは両方ともだとするとそのぷやぷねLv.66は密封出来ない fact6: もしもそのぷやぷねLv.66が良いならそのぽよぽにゅLv.20は密封出来るかまたは進め易いかもしくは両方である fact7: もしそのぷやぷねLv.66が良いならそのぽよぽにゅLv.20は良い
void -> assump1: 以下のように仮定する。そのぽよぽにゅLv.20は良い; fact3 & assump1 -> int1: そのぷやぷねLv.66は与え易いかまたは進め易いということはないかもしくは両方である;
void -> assump1: {A}{a}; fact3 & assump1 -> int1: ({AA}{b} v ¬{AB}{b});
以下のように仮定する。そのぽよぽにゅLv.20は良い
$facts$ = fact1: あのぽにょぽちゅLv.11は密封出来るかあるいはそれは良いか両方である fact2: 「あのぽにょぽちゅLv.11は密封出来る」ということは事実である fact3: もしもそのぽよぽにゅLv.20は良いなら「そのぷやぷねLv.66は与え易いか進め易いということはないかあるいは両方だ」ということは正しい fact4: 良くないモンスターは御構い無いかまたはか細くないかまたはどちらもだ fact5: もしもあのぽにょぽちゅLv.11が良いかあるいは与え易いということはないかまたは両方ともだとするとそのぷやぷねLv.66は密封出来ない fact6: もしもそのぷやぷねLv.66が良いならそのぽよぽにゅLv.20は密封出来るかまたは進め易いかもしくは両方である fact7: もしそのぷやぷねLv.66が良いならそのぽよぽにゅLv.20は良い ; $hypothesis$ = そのぽよぽにゅLv.20は良くない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__