このみちゅみちゃLv.92は俗っぽい
fact1: 「このもいもにょLv.86は御強請りしない」ということは確かである fact2: もしこのもいもにょLv.86が御強請りしないとすればそれは置き易いししかも白々しい fact3: もし仮に「このみちゅみちゃLv.92は伝わり難い」ということは真実だとすればそれは俗っぽい fact4: もしこのもいもにょLv.86が置き易いならこのみちゅみちゃLv.92は伝わり難い
fact2 & fact1 -> int1: このもいもにょLv.86は置き易くてまた白々しい; int1 -> int2: このもいもにょLv.86は置き易い; int2 & fact4 -> int3: このみちゅみちゃLv.92は伝わり難い; int3 & fact3 -> hypothesis;
fact2 & fact1 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {A}{a}; int2 & fact4 -> int3: {C}{b}; int3 & fact3 -> hypothesis;
$facts$ = fact1: 「このもいもにょLv.86は御強請りしない」ということは確かである fact2: もしこのもいもにょLv.86が御強請りしないとすればそれは置き易いししかも白々しい fact3: もし仮に「このみちゅみちゃLv.92は伝わり難い」ということは真実だとすればそれは俗っぽい fact4: もしこのもいもにょLv.86が置き易いならこのみちゅみちゃLv.92は伝わり難い ; $hypothesis$ = このみちゅみちゃLv.92は俗っぽい ; $proof$ = 
fact2 & fact1 -> int1: このもいもにょLv.86は置き易くてまた白々しい; int1 -> int2: このもいもにょLv.86は置き易い; int2 & fact4 -> int3: このみちゅみちゃLv.92は伝わり難い; int3 & fact3 -> hypothesis; __PROVED__
fact2 & fact1 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {A}{a}; int2 & fact4 -> int3: {C}{b}; int3 & fact3 -> hypothesis; __PROVED__