「このまちゅまねLv.42は御美しくて更に来易い」ということは成り立つ
fact1: もしもこのまちゅまねLv.42が買収するとするとこのまちゅまねLv.42は御美しい fact2: そのぴねぴのLv.96は街らしい fact3: このまちゅまねLv.42は来易い fact4: もしこのぴいぴちょLv.86は近付き難いならば「このまちゅまねLv.42は買収する」ということは誤っていない fact5: もし「とあるモンスターは活動し易くないがしかしとろ臭い」ということは真実でないとすればそれはとろ臭くない fact6: あるモンスターが言い易くないがそれが御美しいとすると買収しない fact7: このぴいぴちょLv.86が買収するということはないならそのぴねぴのLv.96は近付き難いかあるいは街らしい fact8: もし仮にそのぴねぴのLv.96が街らしいとしたらこのぴいぴちょLv.86は近付き難い fact9: 仮にこのまちゅまねLv.42がとろ臭くないとすればこのぴいぴちょLv.86は言い易くないがしかし御美しい
fact8 & fact2 -> int1: このぴいぴちょLv.86は近付き難い; int1 & fact4 -> int2: このまちゅまねLv.42は買収する; int2 & fact1 -> int3: このまちゅまねLv.42は御美しい; int3 & fact3 -> hypothesis;
fact8 & fact2 -> int1: {B}{b}; int1 & fact4 -> int2: {C}{c}; int2 & fact1 -> int3: {D}{c}; int3 & fact3 -> hypothesis;
あのぴなぴちゅLv.23は来易い
fact12 -> int4: このぴいぴちょLv.86が言い易くない一方で御美しいとしたらこのぴいぴちょLv.86は買収しない; fact13 -> int5: もしも「このまちゅまねLv.42は活動し易いということはないがそれはとろ臭い」ということは誤っているとするとこのまちゅまねLv.42はとろ臭いということはない;
$facts$ = fact1: もしもこのまちゅまねLv.42が買収するとするとこのまちゅまねLv.42は御美しい fact2: そのぴねぴのLv.96は街らしい fact3: このまちゅまねLv.42は来易い fact4: もしこのぴいぴちょLv.86は近付き難いならば「このまちゅまねLv.42は買収する」ということは誤っていない fact5: もし「とあるモンスターは活動し易くないがしかしとろ臭い」ということは真実でないとすればそれはとろ臭くない fact6: あるモンスターが言い易くないがそれが御美しいとすると買収しない fact7: このぴいぴちょLv.86が買収するということはないならそのぴねぴのLv.96は近付き難いかあるいは街らしい fact8: もし仮にそのぴねぴのLv.96が街らしいとしたらこのぴいぴちょLv.86は近付き難い fact9: 仮にこのまちゅまねLv.42がとろ臭くないとすればこのぴいぴちょLv.86は言い易くないがしかし御美しい ; $hypothesis$ = 「このまちゅまねLv.42は御美しくて更に来易い」ということは成り立つ ; $proof$ = 
fact8 & fact2 -> int1: このぴいぴちょLv.86は近付き難い; int1 & fact4 -> int2: このまちゅまねLv.42は買収する; int2 & fact1 -> int3: このまちゅまねLv.42は御美しい; int3 & fact3 -> hypothesis; __PROVED__
fact8 & fact2 -> int1: {B}{b}; int1 & fact4 -> int2: {C}{c}; int2 & fact1 -> int3: {D}{c}; int3 & fact3 -> hypothesis; __PROVED__