もし「あのもやもやLv.78は詮無くない」ということは成り立たないとすればあのぽにゅぽにょLv.23は心優しい
fact1: このみちゅみにょLv.72が漏れ易いならあのぽにゅぽにょLv.23は心優しい fact2: あのもやもやLv.78は心優しい fact3: 仮にあのもやもやLv.78が浅ましいとすればこのみちゅみにょLv.72は漏れ易い
$facts$ = fact1: このみちゅみにょLv.72が漏れ易いならあのぽにゅぽにょLv.23は心優しい fact2: あのもやもやLv.78は心優しい fact3: 仮にあのもやもやLv.78が浅ましいとすればこのみちゅみにょLv.72は漏れ易い ; $hypothesis$ = もし「あのもやもやLv.78は詮無くない」ということは成り立たないとすればあのぽにゅぽにょLv.23は心優しい ; $proof$ = 
__UNKNOWN__
__UNKNOWN__