このぽゆぽにゃLv.74は訴え出ない
fact1: このぽわぽにLv.12は訴え出るしそれは貧しい fact2: このぽわぽにLv.12が子供っぽいとしたらこのぽゆぽにゃLv.74は訴え出る fact3: このぽわぽにLv.12は貧しい fact4: このぽわぽにLv.12は貧しいし子供っぽい fact5: 倒れ難いということはなくてそれに図太くないモンスターはない fact6: 「とあるモンスターは倒れ難くなくてそれに図太くない」ということは嘘であるとすれば味気なくない fact7: もしもこのぽわぽにLv.12が貧しくないならあのぷちゅぷよLv.62はいじらしいしそれは子供っぽい
fact4 -> int1: このぽわぽにLv.12は子供っぽい; int1 & fact2 -> hypothesis;
fact4 -> int1: {B}{a}; int1 & fact2 -> hypothesis;
あのぷちゅぷよLv.62はいじらしくてかつ子供っぽい
$facts$ = fact1: このぽわぽにLv.12は訴え出るしそれは貧しい fact2: このぽわぽにLv.12が子供っぽいとしたらこのぽゆぽにゃLv.74は訴え出る fact3: このぽわぽにLv.12は貧しい fact4: このぽわぽにLv.12は貧しいし子供っぽい fact5: 倒れ難いということはなくてそれに図太くないモンスターはない fact6: 「とあるモンスターは倒れ難くなくてそれに図太くない」ということは嘘であるとすれば味気なくない fact7: もしもこのぽわぽにLv.12が貧しくないならあのぷちゅぷよLv.62はいじらしいしそれは子供っぽい ; $hypothesis$ = このぽゆぽにゃLv.74は訴え出ない ; $proof$ = 
fact4 -> int1: このぽわぽにLv.12は子供っぽい; int1 & fact2 -> hypothesis; __DISPROVED__
fact4 -> int1: {B}{a}; int1 & fact2 -> hypothesis; __DISPROVED__