そのもにゅもやLv.71は所らしいしまた推進す
fact1: もしそのぷにぷやLv.71は分かち難いとすると「このぽいぽゆLv.62は捗々しい」ということは成り立つ fact2: もしもこのぽいぽゆLv.62が偉いとすればそのもにゅもやLv.71は所らしい fact3: もしそのぷにぷやLv.71が分かち難くないならばこのもえもにLv.8は推進すし加えてそれは親らしい fact4: そのもにゅもやLv.71は推進す fact5: そのぷにぷやLv.71は親らしいしおまけに分かち難い
fact5 -> int1: そのぷにぷやLv.71は分かち難い; int1 & fact1 -> int2: 「このぽいぽゆLv.62は捗々しい」ということは確かだ;
fact5 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{b};
このもえもにLv.8は推進す
$facts$ = fact1: もしそのぷにぷやLv.71は分かち難いとすると「このぽいぽゆLv.62は捗々しい」ということは成り立つ fact2: もしもこのぽいぽゆLv.62が偉いとすればそのもにゅもやLv.71は所らしい fact3: もしそのぷにぷやLv.71が分かち難くないならばこのもえもにLv.8は推進すし加えてそれは親らしい fact4: そのもにゅもやLv.71は推進す fact5: そのぷにぷやLv.71は親らしいしおまけに分かち難い ; $hypothesis$ = そのもにゅもやLv.71は所らしいしまた推進す ; $proof$ = 
__UNKNOWN__
__UNKNOWN__