Experimental-Formal Analysis of Kinship