「「実現し得るし嫉妬深い」モンスターはいる」ということは成り立つということはない
fact1: このぷよぷちゅLv.86は笑う fact2: もしもあるモンスターが笑わなくて実現し得ないならそれは嫉妬深い fact3: そのみわみにゅLv.73は実現し得る fact4: このぷいぷわLv.12は笑うし更に介入する
fact4 -> int1: このぷいぷわLv.12は笑う;
fact4 -> int1: {A}{a};
そのまくまいLv.32は嫉妬深い
fact5 -> int2: もしもそのまくまいLv.32が笑わないしまた実現し得ないならばそのまくまいLv.32は嫉妬深い;
$facts$ = fact1: このぷよぷちゅLv.86は笑う fact2: もしもあるモンスターが笑わなくて実現し得ないならそれは嫉妬深い fact3: そのみわみにゅLv.73は実現し得る fact4: このぷいぷわLv.12は笑うし更に介入する ; $hypothesis$ = 「「実現し得るし嫉妬深い」モンスターはいる」ということは成り立つということはない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__