None of my friends is perfect'.
'Some real numbers are rational'.
Represent the above statements in the first-order logic. Assume necessary predicates and propositions properly if necessary.
A) 1. ∀x (Friend(x) → ¬Perfect(x))
2. ∃x (Real(x) ∧ Rational(x))
B) 1. ∃x (Friend(x) → ¬Perfect(x))
2. ∀x (Real(x) ∧ Rational(x))
C) 1. ∃x (Friend(x) ∧ Perfect(x))
2. ∀x (Real(x) → Rational(x))
D) 1. ∀x (Friend(x) ∧ Perfect(x))
2. ∃x (Real(x) → Rational(x))