そのまよまにLv.13は平ったくない
fact1: そのぷくぷやLv.81は未練がましい fact2: もしも「そのぷくぷやLv.81はあくどくないかまたは頼み難いかまたは両方ともである」ということは確かであるということはないならばあのぴちゃぴやLv.61は抑制する fact3: あのぴちゃぴやLv.61が抑制するとしたらこのもわもゆLv.99は未練がましい fact4: このぽちゃぽいLv.6はごつい fact5: もしそのぷくぷやLv.81は抑制するとしたら「そのぷくぷやLv.81は頼み難くないけれどあくどい」ということは成り立たない fact6: あのぴちゃぴやLv.61は未練がましい fact7: もしこのぽちゃぽいLv.6がごついとしたらそれは頼み難い fact8: もしもこのぽちゃぽいLv.6が頼み難いとしたらそのぷくぷやLv.81はごつい fact9: あのぴちゃぴやLv.61は平ったい fact10: 仮にこのもわもゆLv.99が未練がましいならばそのまよまにLv.13は平ったい
fact7 & fact4 -> int1: このぽちゃぽいLv.6は頼み難い;
fact7 & fact4 -> int1: {B}{a};
そのまよまにLv.13は平ったくない
$facts$ = fact1: そのぷくぷやLv.81は未練がましい fact2: もしも「そのぷくぷやLv.81はあくどくないかまたは頼み難いかまたは両方ともである」ということは確かであるということはないならばあのぴちゃぴやLv.61は抑制する fact3: あのぴちゃぴやLv.61が抑制するとしたらこのもわもゆLv.99は未練がましい fact4: このぽちゃぽいLv.6はごつい fact5: もしそのぷくぷやLv.81は抑制するとしたら「そのぷくぷやLv.81は頼み難くないけれどあくどい」ということは成り立たない fact6: あのぴちゃぴやLv.61は未練がましい fact7: もしこのぽちゃぽいLv.6がごついとしたらそれは頼み難い fact8: もしもこのぽちゃぽいLv.6が頼み難いとしたらそのぷくぷやLv.81はごつい fact9: あのぴちゃぴやLv.61は平ったい fact10: 仮にこのもわもゆLv.99が未練がましいならばそのまよまにLv.13は平ったい ; $hypothesis$ = そのまよまにLv.13は平ったくない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__