∀x (BornIn(x, multipleBirth) → SpendTimePlayingWith(x, sibling))
∀x (∃y (Sibling(x, y) ∧ BornTogether(y)) → BornIn(x, multipleBirth))
∀x (ComplainAboutOften(x, annoyingSiblings) → ∃y (Sibling(x, y) ∧ BornTogether(y)))
∀x (LiveAt(x, home) → ¬LiveWith(x, strangers))
∀x (SpendTimeplayingWith(x, sibling) → LiveAt(x, home))
¬(BornIn(luke, multipleBirth) ⊕ LiveWith(luke, strangers))
ComplainAboutOften(luke, annoyingSiblings) 