マスくん、「現実的な恋をする」は「現実的な恋⇒恋をする」と言い換えることが出来るから命題ではあるよ
高校数学エアプ？