このみにみえLv.15は証すしおまけに悪い
fact1: もし仮に何らかのモンスターは所狭くないとしたら「それは証すし更にそれは悪い」ということは成り立たない fact2: このみにみえLv.15は所狭くて拝す fact3: もし仮にこのみにみえLv.15が所狭しならばこのみにみえLv.15は証す fact4: もし仮に「なんらかのモンスターは拝すが留学しない」ということは成り立たないとしたら所狭くない fact5: あるモンスターが受け入れ難いならば頑張り過ぎる fact6: 仮にこのぷえぷのLv.51は頑張り過ぎるとすれば「このみにみえLv.15は拝すけれど留学するということはない」ということは成り立たない fact7: このみにみえLv.15は拝す
fact2 -> int1: このみにみえLv.15は所狭し; int1 & fact3 -> int2: このみにみえLv.15は証す;
fact2 -> int1: {A}{a}; int1 & fact3 -> int2: {C}{a};
「このみにみえLv.15が証すしその上それは悪い」ということは成り立たない
fact9 -> int3: 仮にこのみにみえLv.15は所狭くないとすれば「それは証すし加えてそれは悪い」ということは成り立つということはない; fact8 -> int4: 仮に「このみにみえLv.15は拝すが留学するということはない」ということは成り立つということはないとすれば所狭くない; fact11 -> int5: もし仮にこのぷえぷのLv.51が受け入れ難いとすればこのぷえぷのLv.51は頑張り過ぎる;
$facts$ = fact1: もし仮に何らかのモンスターは所狭くないとしたら「それは証すし更にそれは悪い」ということは成り立たない fact2: このみにみえLv.15は所狭くて拝す fact3: もし仮にこのみにみえLv.15が所狭しならばこのみにみえLv.15は証す fact4: もし仮に「なんらかのモンスターは拝すが留学しない」ということは成り立たないとしたら所狭くない fact5: あるモンスターが受け入れ難いならば頑張り過ぎる fact6: 仮にこのぷえぷのLv.51は頑張り過ぎるとすれば「このみにみえLv.15は拝すけれど留学するということはない」ということは成り立たない fact7: このみにみえLv.15は拝す ; $hypothesis$ = このみにみえLv.15は証すしおまけに悪い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__