「このぴえぴにゃLv.89は開示しない」ということは成り立つ
fact1: もしあのもねもちゅLv.68が御聞けばこのぴえぴにゃLv.89は御聞く fact2: そのぴわぴちゃLv.46は情け深いし加えてそれは御聞く fact3: そのまちゃまなLv.39は示し為さる fact4: もし仮に「このぴえぴにゃLv.89は情け深いがしかし四角くない」ということは嘘であるとしたらそのぴわぴちゃLv.46は情け深い fact5: あのぽゆぽなLv.7は四角い fact6: 仮にとあるモンスターが情け深いとしたら開示する fact7: そのぴわぴちゃLv.46は御聞くとすれば「そのぴわぴちゃLv.46は四角い」ということは事実だ
fact2 -> int1: 「そのぴわぴちゃLv.46は御聞く」ということは誤りでない; int1 & fact7 -> int2: そのぴわぴちゃLv.46は四角い;
fact2 -> int1: {B}{a}; int1 & fact7 -> int2: {C}{a};
「そのぴわぴちゃLv.46は開示する」ということは成り立つ
fact8 -> int3: もしそのぴわぴちゃLv.46が情け深いならばそれは開示する; fact9 -> int4: 「示し為さる」モンスターはいる;
$facts$ = fact1: もしあのもねもちゅLv.68が御聞けばこのぴえぴにゃLv.89は御聞く fact2: そのぴわぴちゃLv.46は情け深いし加えてそれは御聞く fact3: そのまちゃまなLv.39は示し為さる fact4: もし仮に「このぴえぴにゃLv.89は情け深いがしかし四角くない」ということは嘘であるとしたらそのぴわぴちゃLv.46は情け深い fact5: あのぽゆぽなLv.7は四角い fact6: 仮にとあるモンスターが情け深いとしたら開示する fact7: そのぴわぴちゃLv.46は御聞くとすれば「そのぴわぴちゃLv.46は四角い」ということは事実だ ; $hypothesis$ = 「このぴえぴにゃLv.89は開示しない」ということは成り立つ ; $proof$ = 
__UNKNOWN__
__UNKNOWN__