そのまいまやLv.24は助け合う
fact1: 仮にそのぽわぽのLv.83が倒産すればそのまいまやLv.24は助け合う fact2: そのぽわぽのLv.83は雪深い fact3: もし仮にあるモンスターが離乳するとしたら雪深い fact4: 雪深いモンスターが倒産するとすれば助け合わない fact5: もしもそのぽわぽのLv.83が地下深いとすればそのまいまやLv.24は雪深い fact6: そのぽわぽのLv.83は雪深いとすると「そのぽわぽのLv.83は倒産する」ということは真実だ
fact6 & fact2 -> int1: そのぽわぽのLv.83は倒産する; int1 & fact1 -> hypothesis;
fact6 & fact2 -> int1: {B}{a}; int1 & fact1 -> hypothesis;
もし仮にこのぴにゅぴにLv.25が離乳するとすればこのぴにゅぴにLv.25は雪深い
fact7 -> hypothesis;
$facts$ = fact1: 仮にそのぽわぽのLv.83が倒産すればそのまいまやLv.24は助け合う fact2: そのぽわぽのLv.83は雪深い fact3: もし仮にあるモンスターが離乳するとしたら雪深い fact4: 雪深いモンスターが倒産するとすれば助け合わない fact5: もしもそのぽわぽのLv.83が地下深いとすればそのまいまやLv.24は雪深い fact6: そのぽわぽのLv.83は雪深いとすると「そのぽわぽのLv.83は倒産する」ということは真実だ ; $hypothesis$ = そのまいまやLv.24は助け合う ; $proof$ = 
fact6 & fact2 -> int1: そのぽわぽのLv.83は倒産する; int1 & fact1 -> hypothesis; __PROVED__
fact6 & fact2 -> int1: {B}{a}; int1 & fact1 -> hypothesis; __PROVED__