あのまゆまにょLv.47は久しし加えてそれは娘らしい
fact1: もしもこのぴえぴにゃLv.61が商人らしいとすると御恥ずかしい fact2: もし仮にあのまゆまにょLv.47は変更しないとすれば「あのもちょもくLv.27は娘らしいしまた久し」ということは事実である fact3: もしも「何らかのモンスターは呆気ないけど通り易くない」ということは成り立たないとすれば変更しない fact4: あのまゆまにょLv.47は商人らしい fact5: もし仮にあのまゆまにょLv.47が商人らしいとすればそれは娘らしい fact6: 娘らしいモンスターは商人らしい fact7: あのまゆまにょLv.47は久し
fact5 & fact4 -> int1: あのまゆまにょLv.47は娘らしい; int1 & fact7 -> hypothesis;
fact5 & fact4 -> int1: {B}{a}; int1 & fact7 -> hypothesis;
「あのもちょもくLv.27は商人らしい」ということは成り立つ
fact8 -> int2: もしあのもちょもくLv.27が娘らしいとすればあのもちょもくLv.27は商人らしい; fact10 -> int3: もし仮に「そのみえみちゅLv.83は呆気ないが通り易いということはない」ということは偽だとするとそのみえみちゅLv.83は変更しない;
$facts$ = fact1: もしもこのぴえぴにゃLv.61が商人らしいとすると御恥ずかしい fact2: もし仮にあのまゆまにょLv.47は変更しないとすれば「あのもちょもくLv.27は娘らしいしまた久し」ということは事実である fact3: もしも「何らかのモンスターは呆気ないけど通り易くない」ということは成り立たないとすれば変更しない fact4: あのまゆまにょLv.47は商人らしい fact5: もし仮にあのまゆまにょLv.47が商人らしいとすればそれは娘らしい fact6: 娘らしいモンスターは商人らしい fact7: あのまゆまにょLv.47は久し ; $hypothesis$ = あのまゆまにょLv.47は久しし加えてそれは娘らしい ; $proof$ = 
fact5 & fact4 -> int1: あのまゆまにょLv.47は娘らしい; int1 & fact7 -> hypothesis; __PROVED__
fact5 & fact4 -> int1: {B}{a}; int1 & fact7 -> hypothesis; __PROVED__