そのもちゅもちょLv.63は出願しない
fact1: もしもそのぴやぴやLv.67が岡惚れするとするとそれは無次元化する fact2: 仮にそのぴやぴやLv.67が来航するけれど先走らないとするとそのぴやぴやLv.67は岡惚れする fact3: そのまにまえLv.36は制止す fact4: そのぴやぴやLv.67が働き難いか無次元化するとすればそのもちゅもちょLv.63は出願しない
$facts$ = fact1: もしもそのぴやぴやLv.67が岡惚れするとするとそれは無次元化する fact2: 仮にそのぴやぴやLv.67が来航するけれど先走らないとするとそのぴやぴやLv.67は岡惚れする fact3: そのまにまえLv.36は制止す fact4: そのぴやぴやLv.67が働き難いか無次元化するとすればそのもちゅもちょLv.63は出願しない ; $hypothesis$ = そのもちゅもちょLv.63は出願しない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__