そのみくみにゅLv.48は脂っぽい
fact1: このぷにゅぷゆLv.31は期し難い fact2: そのみくみにゅLv.48は分担する fact3: 「そのみくみにゅLv.48は分かり易い」ということは成り立つ fact4: もしもこのもちゃもちゅLv.50が期し難いとすればこのもちゃもちゅLv.50は分担する fact5: そのみくみにゅLv.48が分担するとしたらこのもちゃもちゅLv.50は脂っぽい fact6: このもちゃもちゅLv.50は期し難い
fact4 & fact6 -> int1: このもちゃもちゅLv.50は分担する;
fact4 & fact6 -> int1: {B}{a};
$facts$ = fact1: このぷにゅぷゆLv.31は期し難い fact2: そのみくみにゅLv.48は分担する fact3: 「そのみくみにゅLv.48は分かり易い」ということは成り立つ fact4: もしもこのもちゃもちゅLv.50が期し難いとすればこのもちゃもちゅLv.50は分担する fact5: そのみくみにゅLv.48が分担するとしたらこのもちゃもちゅLv.50は脂っぽい fact6: このもちゃもちゅLv.50は期し難い ; $hypothesis$ = そのみくみにゅLv.48は脂っぽい ; $proof$ = 
__UNKNOWN__
__UNKNOWN__