言葉の意味を考えずに形を見るんだよ
論理は公式みたいなもん。
20才女:A
太郎好き:Bって置き換える

Aならば必ずB(A→B)
花子はA
故に花子はB