そのぴやぴえLv.10は仕事らしくない
fact1: もし「あのもねもよLv.41は仕事らしくない」ということは成り立たないならそのもねもやLv.86は仕事らしい fact2: あのもねもよLv.41は仕事らしい fact3: もしそのもねもやLv.86が堅苦しいとすればそのぴやぴえLv.10は仕事らしい
そのぴやぴえLv.10は仕事らしくない
fact5 & fact4 -> int1: そのもねもやLv.86は仕事らしい;
$facts$ = fact1: もし「あのもねもよLv.41は仕事らしくない」ということは成り立たないならそのもねもやLv.86は仕事らしい fact2: あのもねもよLv.41は仕事らしい fact3: もしそのもねもやLv.86が堅苦しいとすればそのぴやぴえLv.10は仕事らしい ; $hypothesis$ = そのぴやぴえLv.10は仕事らしくない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__