あのもちょもなLv.13は名残惜しくておまけにそれは弱い
fact1: もし仮に「あのぷやぷいLv.62は読み難い」ということは正しいとしたら「あのもちょもなLv.13は名残惜しい」ということは成り立つ fact2: あのぷやぷいLv.62は読み難い fact3: 仮にあのぷやぷいLv.62が多しならばあのもちょもなLv.13は読み難くない fact4: もし仮にあるモンスターは読み難くないとすれば「それは名残惜しくてまた弱い」ということは正しくない fact5: あのもちょもなLv.13は弱い fact6: あのぷやぷいLv.44は弱い fact7: 仮になんらかのモンスターが添付しないなら多しし更に聞こえる
fact1 & fact2 -> int1: あのもちょもなLv.13は名残惜しい; int1 & fact5 -> hypothesis;
fact1 & fact2 -> int1: {B}{b}; int1 & fact5 -> hypothesis;
「あのもちょもなLv.13が名残惜しいしその上それは弱い」ということは誤っている
fact9 -> int2: 仮にあのもちょもなLv.13は読み難くないとすると「あのもちょもなLv.13は名残惜しいしさらに弱い」ということは成り立たない; fact8 -> int3: もしあのぷやぷいLv.62が添付しないならばあのぷやぷいLv.62は多ししそれは聞こえる;
$facts$ = fact1: もし仮に「あのぷやぷいLv.62は読み難い」ということは正しいとしたら「あのもちょもなLv.13は名残惜しい」ということは成り立つ fact2: あのぷやぷいLv.62は読み難い fact3: 仮にあのぷやぷいLv.62が多しならばあのもちょもなLv.13は読み難くない fact4: もし仮にあるモンスターは読み難くないとすれば「それは名残惜しくてまた弱い」ということは正しくない fact5: あのもちょもなLv.13は弱い fact6: あのぷやぷいLv.44は弱い fact7: 仮になんらかのモンスターが添付しないなら多しし更に聞こえる ; $hypothesis$ = あのもちょもなLv.13は名残惜しくておまけにそれは弱い ; $proof$ = 
fact1 & fact2 -> int1: あのもちょもなLv.13は名残惜しい; int1 & fact5 -> hypothesis; __PROVED__
fact1 & fact2 -> int1: {B}{b}; int1 & fact5 -> hypothesis; __PROVED__