そのぽにゃぽにゃLv.21は召集しなくて更にスポット溶接しない
fact1: 仮にあのもにょもわLv.74はすごーいとすれば「このもいもえLv.82はすごーくない」ということは成り立つ fact2: 仮になにがしかのモンスターが物凄いとすれば召集しない fact3: もしもあのもにょもわLv.74が出来難いとするとこのぷにょぷのLv.68は手出しする fact4: このもわものLv.85は険しい fact5: もしもこのぷにょぷのLv.68が手出しするとしたらこのもわものLv.85は物凄い fact6: このぷにょぷのLv.68は出来難くないなら「あのもにょもわLv.74は手出ししないけど召集する」ということは成り立たない fact7: あのもにょもわLv.74は出来難い fact8: このもわものLv.85が険しいし物凄いとしたらこのものもよLv.13はすごーくない fact9: あのもにょもわLv.74は手出しする fact10: 「このものもよLv.13はすごーいがしかしスポット溶接しない」ということは成り立たない
fact3 & fact7 -> int1: このぷにょぷのLv.68は手出しする; int1 & fact5 -> int2: このもわものLv.85は物凄い; int2 & fact4 -> int3: このもわものLv.85が険しいしその上物凄い; int3 & fact8 -> int4: このものもよLv.13はすごーくない;
fact3 & fact7 -> int1: {B}{b}; int1 & fact5 -> int2: {C}{c}; int2 & fact4 -> int3: ({D}{c} & {C}{c}); int3 & fact8 -> int4: ¬{E}{d};
「このもいもえLv.82はすごーくない」ということは成り立つ
$facts$ = fact1: 仮にあのもにょもわLv.74はすごーいとすれば「このもいもえLv.82はすごーくない」ということは成り立つ fact2: 仮になにがしかのモンスターが物凄いとすれば召集しない fact3: もしもあのもにょもわLv.74が出来難いとするとこのぷにょぷのLv.68は手出しする fact4: このもわものLv.85は険しい fact5: もしもこのぷにょぷのLv.68が手出しするとしたらこのもわものLv.85は物凄い fact6: このぷにょぷのLv.68は出来難くないなら「あのもにょもわLv.74は手出ししないけど召集する」ということは成り立たない fact7: あのもにょもわLv.74は出来難い fact8: このもわものLv.85が険しいし物凄いとしたらこのものもよLv.13はすごーくない fact9: あのもにょもわLv.74は手出しする fact10: 「このものもよLv.13はすごーいがしかしスポット溶接しない」ということは成り立たない ; $hypothesis$ = そのぽにゃぽにゃLv.21は召集しなくて更にスポット溶接しない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__