∀x (Child(x) → Human(x))
∀x (Underage(x) → Child(x)) 
∀x (Underage(x) ⊕ OfAge(x))
∀x (OfAge(x) → CanVote(x))
∀x (OfAge(x) → CanGetMarried(x))
Child(jack) ∧ Human(jack) → (¬CanVote(jack) ∧ ¬CanGetMarried(jack))
CanVote(jack) ⊕ CanGetMarried(jack)