あのもにもなLv.10は補修出来ない
fact1: もしもとあるモンスターは取得出来ないが御仕えするとすれば生え易い fact2: 「あのもにもなLv.10は御濃い」ということは真実だ fact3: そのみちょみやLv.49は生え易い fact4: あのもにもなLv.10が回りくどくて更に言い易いとすれば取得出来ない fact5: あのもにもなLv.10は御仕えする fact6: もしもあのもにもなLv.10が生え易くて加えて御仕えするとするとあのもにもなLv.10は補修出来ない fact7: そのみにみちょLv.99はくどくない fact8: あのもにもなLv.10は生え易いし加えて取得出来る
fact8 -> int1: あのもにもなLv.10は生え易い; int1 & fact5 -> int2: あのもにもなLv.10は生え易くてそれに御仕えする; int2 & fact6 -> hypothesis;
fact8 -> int1: {A}{a}; int1 & fact5 -> int2: ({A}{a} & {C}{a}); int2 & fact6 -> hypothesis;
このまよまくLv.30は生え易い
fact9 -> int3: このまよまくLv.30が取得出来ないけど御仕えすればこのまよまくLv.30は生え易い;
$facts$ = fact1: もしもとあるモンスターは取得出来ないが御仕えするとすれば生え易い fact2: 「あのもにもなLv.10は御濃い」ということは真実だ fact3: そのみちょみやLv.49は生え易い fact4: あのもにもなLv.10が回りくどくて更に言い易いとすれば取得出来ない fact5: あのもにもなLv.10は御仕えする fact6: もしもあのもにもなLv.10が生え易くて加えて御仕えするとするとあのもにもなLv.10は補修出来ない fact7: そのみにみちょLv.99はくどくない fact8: あのもにもなLv.10は生え易いし加えて取得出来る ; $hypothesis$ = あのもにもなLv.10は補修出来ない ; $proof$ = 
fact8 -> int1: あのもにもなLv.10は生え易い; int1 & fact5 -> int2: あのもにもなLv.10は生え易くてそれに御仕えする; int2 & fact6 -> hypothesis; __PROVED__
fact8 -> int1: {A}{a}; int1 & fact5 -> int2: ({A}{a} & {C}{a}); int2 & fact6 -> hypothesis; __PROVED__