あのもにょもわLv.74は隠れ住むし荒っぽい
fact1: 仮にあのもにょもわLv.74がプロらしくないけれど細かいならばあのもにょもわLv.74はつべたくない fact2: もし仮にそのぽゆぽくLv.89は有るらしくないとすれば「あのもにょもわLv.74は隠れ住むししかも荒っぽい」ということは事実と異なる fact3: あのもにょもわLv.74はつべたいかあるいは有るらしいかあるいは両方ともである fact4: あのもにょもわLv.74はプロらしくない一方でそれは細かい fact5: あのもにょもわLv.74は細かい fact6: あのもにょもわLv.74は荒っぽい fact7: もしも有るらしいモンスターがつべたいとすればプロらしくない fact8: もしそのもにゃものLv.25が輸血しない一方で気恥ずかしいとするとそのもにゃものLv.25は悪戯っぽいということはない
fact1 & fact4 -> int1: あのもにょもわLv.74はつべたくない; int1 -> int2: あのもにょもわLv.74はつべたくないかあるいは有るらしいかあるいは両方だ;
fact1 & fact4 -> int1: ¬{B}{a}; int1 -> int2: (¬{B}{a} v {A}{a});
このまにゃまゆLv.95はプロらしくないかもしくはそれはえげつない
fact9 -> int3: このまにゃまゆLv.95が有るらしいしさらにつべたいとしたらこのまにゃまゆLv.95はプロらしくない;
$facts$ = fact1: 仮にあのもにょもわLv.74がプロらしくないけれど細かいならばあのもにょもわLv.74はつべたくない fact2: もし仮にそのぽゆぽくLv.89は有るらしくないとすれば「あのもにょもわLv.74は隠れ住むししかも荒っぽい」ということは事実と異なる fact3: あのもにょもわLv.74はつべたいかあるいは有るらしいかあるいは両方ともである fact4: あのもにょもわLv.74はプロらしくない一方でそれは細かい fact5: あのもにょもわLv.74は細かい fact6: あのもにょもわLv.74は荒っぽい fact7: もしも有るらしいモンスターがつべたいとすればプロらしくない fact8: もしそのもにゃものLv.25が輸血しない一方で気恥ずかしいとするとそのもにゃものLv.25は悪戯っぽいということはない ; $hypothesis$ = あのもにょもわLv.74は隠れ住むし荒っぽい ; $proof$ = 
__UNKNOWN__
__UNKNOWN__