that the petrifaction is not dermatologic and it is not a kind of a handsomeness is not right.
sent1: something is not a kind of a Valdez if it is a doll and is a model. sent2: the fact that something is not dermatologic and it is not a handsomeness is not true if it is not a Valdez. sent3: the besom is not a guardhouse and it is not a handsomeness. sent4: if the petrifaction is dermatologic it is non-inductive thing that is not a quahaug. sent5: the overhead is a Valdez. sent6: the petrifaction is not a handsomeness. sent7: if the petrifaction is not inductive and not a quahaug then the overhead is not a kind of a Valdez.
void -> assump1: Let's assume that the petrifaction is not non-dermatologic.; sent4 & assump1 -> int1: the petrifaction is not inductive and not a quahaug.; int1 & sent7 -> int2: the overhead is not a kind of a Valdez.; int2 & sent5 -> int3: this is contradiction.; [assump1] & int3 -> int4: the petrifaction is not dermatologic.; int4 & sent6 -> hypothesis;
that the petrifaction is non-dermatologic thing that is not a handsomeness is not correct.
sent2 -> int5: if the petrifaction is not a Valdez then that it is non-dermatologic and is not a kind of a handsomeness is wrong.; sent1 -> int6: the petrifaction is not a Valdez if it is both a doll and a model.;
$hypothesis$ = that the petrifaction is not dermatologic and it is not a kind of a handsomeness is not right. ; $context$ = sent1: something is not a kind of a Valdez if it is a doll and is a model. sent2: the fact that something is not dermatologic and it is not a handsomeness is not true if it is not a Valdez. sent3: the besom is not a guardhouse and it is not a handsomeness. sent4: if the petrifaction is dermatologic it is non-inductive thing that is not a quahaug. sent5: the overhead is a Valdez. sent6: the petrifaction is not a handsomeness. sent7: if the petrifaction is not inductive and not a quahaug then the overhead is not a kind of a Valdez. ; $proof$ = 
void -> assump1: Let's assume that the petrifaction is not non-dermatologic.; sent4 & assump1 -> int1: the petrifaction is not inductive and not a quahaug.; int1 & sent7 -> int2: the overhead is not a kind of a Valdez.; int2 & sent5 -> int3: this is contradiction.; [assump1] & int3 -> int4: the petrifaction is not dermatologic.; int4 & sent6 -> hypothesis; __DISPROVED__