Menarik kesimpulan dengan aturan simplifikasi adalah berbentuk:

a ∧ b

there4; a