あのぽわぽえLv.71は没さないけどそれは広し
fact1: もしそのぴにょぴにゃLv.29が高しないとするとあのぽわぽえLv.71は没さないがしかし広し fact2: 「このみにゅみにゃLv.24は没す」ということは嘘でないとすればそのぴにょぴにゃLv.29は広しないし加えて高しない fact3: 「高し」モンスターはいる fact4: 「あのぽわぽえLv.71は没すしそれにそれは広し」ということは間違っている fact5: もしこのみにゅみにゃLv.24が安しし高しならばそのぴにょぴにゃLv.29は高しない
fact3 -> int1: 「高し」モンスターはいる;
fact3 -> int1: (Ex): {A}x;
あのぽわぽえLv.71は没さないけどそれは広し
$facts$ = fact1: もしそのぴにょぴにゃLv.29が高しないとするとあのぽわぽえLv.71は没さないがしかし広し fact2: 「このみにゅみにゃLv.24は没す」ということは嘘でないとすればそのぴにょぴにゃLv.29は広しないし加えて高しない fact3: 「高し」モンスターはいる fact4: 「あのぽわぽえLv.71は没すしそれにそれは広し」ということは間違っている fact5: もしこのみにゅみにゃLv.24が安しし高しならばそのぴにょぴにゃLv.29は高しない ; $hypothesis$ = あのぽわぽえLv.71は没さないけどそれは広し ; $proof$ = 
__UNKNOWN__
__UNKNOWN__