Person(?x) ^ hasChild(?x, ?y) ^ hasChild(?x , ?y) ^ differentFrom(?y, ?z) ^ Person (?y) ^ Person (?z) -> hasSibling (?y, ?z)