あのぷいぷえLv.49は君らしい
fact1: そのぷにゃぷえLv.8は君らしい fact2: もし仮にあのぷにゅぷねLv.26が主張し続けるとすればあのぷいぷえLv.49は溜まり易い fact3: このまゆまにゃLv.76は君らしい fact4: 仮にそのぷにゃぷえLv.8が余儀無いならあのぷにゅぷねLv.26は主張し続ける fact5: そのぷにゃぷえLv.8は余儀無い fact6: もし仮にあのぷいぷえLv.49が溜まり易いならばあのぷいぷえLv.49は君らしい
fact4 & fact5 -> int1: あのぷにゅぷねLv.26は主張し続ける; int1 & fact2 -> int2: 「あのぷいぷえLv.49は溜まり易い」ということは事実である; int2 & fact6 -> hypothesis;
fact4 & fact5 -> int1: {B}{b}; int1 & fact2 -> int2: {C}{c}; int2 & fact6 -> hypothesis;
$facts$ = fact1: そのぷにゃぷえLv.8は君らしい fact2: もし仮にあのぷにゅぷねLv.26が主張し続けるとすればあのぷいぷえLv.49は溜まり易い fact3: このまゆまにゃLv.76は君らしい fact4: 仮にそのぷにゃぷえLv.8が余儀無いならあのぷにゅぷねLv.26は主張し続ける fact5: そのぷにゃぷえLv.8は余儀無い fact6: もし仮にあのぷいぷえLv.49が溜まり易いならばあのぷいぷえLv.49は君らしい ; $hypothesis$ = あのぷいぷえLv.49は君らしい ; $proof$ = 
fact4 & fact5 -> int1: あのぷにゅぷねLv.26は主張し続ける; int1 & fact2 -> int2: 「あのぷいぷえLv.49は溜まり易い」ということは事実である; int2 & fact6 -> hypothesis; __PROVED__
fact4 & fact5 -> int1: {B}{b}; int1 & fact2 -> int2: {C}{c}; int2 & fact6 -> hypothesis; __PROVED__