このぽわぽなLv.88は仰々しくない
fact1: そのぽやぽわLv.64は色付けする fact2: そのぽやぽわLv.64はどうして良いかそれは情報交換するかあるいはどちらもだ fact3: そのぽやぽわLv.64が情報交換するとすればこのぽわぽなLv.88は色付けする fact4: 仮にとあるモンスターがどうして良いならそれは仰々しくない fact5: もしそのぽやぽわLv.64がどうして良いとしたらこのぽわぽなLv.88は色付けする fact6: そのぽやぽわLv.64がどうして良くないしさらにそれが情報交換しないならこのぽわぽなLv.88はどうして良い
fact2 & fact5 & fact3 -> int1: このぽわぽなLv.88は色付けする;
fact2 & fact5 & fact3 -> int1: {C}{c};
このぽわぽなLv.88は仰々しくない
fact7 -> int2: 仮にこのぽわぽなLv.88がどうして良いとすればそれは仰々しくない;
$facts$ = fact1: そのぽやぽわLv.64は色付けする fact2: そのぽやぽわLv.64はどうして良いかそれは情報交換するかあるいはどちらもだ fact3: そのぽやぽわLv.64が情報交換するとすればこのぽわぽなLv.88は色付けする fact4: 仮にとあるモンスターがどうして良いならそれは仰々しくない fact5: もしそのぽやぽわLv.64がどうして良いとしたらこのぽわぽなLv.88は色付けする fact6: そのぽやぽわLv.64がどうして良くないしさらにそれが情報交換しないならこのぽわぽなLv.88はどうして良い ; $hypothesis$ = このぽわぽなLv.88は仰々しくない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__