そのまなまやLv.83は現存するししかも押さえ難い
fact1: そのまなまやLv.83は難い fact2: あのまのまよLv.37は難い fact3: そのまなまやLv.83が難いならそのまなまやLv.83は話し易い fact4: そのまなまやLv.83は狙い難い fact5: 仮にそのまなまやLv.83が難くないならあのぽにょぽちゃLv.97は難い fact6: そのまなまやLv.83は押さえ難い fact7: もしもそのまなまやLv.83が話し易いならばそのまなまやLv.83は現存する
fact3 & fact1 -> int1: そのまなまやLv.83は話し易い; int1 & fact7 -> int2: そのまなまやLv.83は現存する; int2 & fact6 -> hypothesis;
fact3 & fact1 -> int1: {B}{a}; int1 & fact7 -> int2: {C}{a}; int2 & fact6 -> hypothesis;
あのぽにょぽちゃLv.97は話し易い
$facts$ = fact1: そのまなまやLv.83は難い fact2: あのまのまよLv.37は難い fact3: そのまなまやLv.83が難いならそのまなまやLv.83は話し易い fact4: そのまなまやLv.83は狙い難い fact5: 仮にそのまなまやLv.83が難くないならあのぽにょぽちゃLv.97は難い fact6: そのまなまやLv.83は押さえ難い fact7: もしもそのまなまやLv.83が話し易いならばそのまなまやLv.83は現存する ; $hypothesis$ = そのまなまやLv.83は現存するししかも押さえ難い ; $proof$ = 
fact3 & fact1 -> int1: そのまなまやLv.83は話し易い; int1 & fact7 -> int2: そのまなまやLv.83は現存する; int2 & fact6 -> hypothesis; __PROVED__
fact3 & fact1 -> int1: {B}{a}; int1 & fact7 -> int2: {C}{a}; int2 & fact6 -> hypothesis; __PROVED__