that the sacrificer is a geneticist is true.
sent1: the sacrificer is not a kind of a geneticist if that the Perm is scurfy or it does not peck coronet or both is not correct. sent2: the backstitch does deaminate hypochondrium. sent3: if the fact that something is a kind of formal thing that does not deaminate hypochondrium does not hold it does not throb. sent4: The hypochondrium does deaminate backstitch. sent5: if the Perm does not peck coronet it is not a throbbing. sent6: something is not a spawn if it does not throb. sent7: something does not peck coronet if it does not spawn. sent8: if the backstitch does not peck coronet then the fact that either the Perm is scurfy or it does not peck coronet or both is not right. sent9: the sacrificer does not peck coronet.
void -> assump1: Let's assume that the backstitch is a kind of non-informal thing that does not deaminate hypochondrium.; assump1 -> int1: the backstitch does not deaminate hypochondrium.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the backstitch is not informal and it does not deaminate hypochondrium is not right.; sent3 -> int4: if the fact that the backstitch is not informal and does not deaminate hypochondrium is false it is not a throbbing.; int3 & int4 -> int5: the backstitch is not a throbbing.; sent6 -> int6: if the backstitch is not a throbbing then that it is not a spawn hold.; int5 & int6 -> int7: the fact that the backstitch is not a spawn is not incorrect.; sent7 -> int8: the fact that the backstitch does not peck coronet is not wrong if it does not spawn.; int7 & int8 -> int9: the backstitch does not peck coronet.; int9 & sent8 -> int10: the fact that the fact that the Perm is scurfy and/or it does not peck coronet does not hold hold.; int10 & sent1 -> hypothesis;
$hypothesis$ = that the sacrificer is a geneticist is true. ; $context$ = sent1: the sacrificer is not a kind of a geneticist if that the Perm is scurfy or it does not peck coronet or both is not correct. sent2: the backstitch does deaminate hypochondrium. sent3: if the fact that something is a kind of formal thing that does not deaminate hypochondrium does not hold it does not throb. sent4: The hypochondrium does deaminate backstitch. sent5: if the Perm does not peck coronet it is not a throbbing. sent6: something is not a spawn if it does not throb. sent7: something does not peck coronet if it does not spawn. sent8: if the backstitch does not peck coronet then the fact that either the Perm is scurfy or it does not peck coronet or both is not right. sent9: the sacrificer does not peck coronet. ; $proof$ = 
void -> assump1: Let's assume that the backstitch is a kind of non-informal thing that does not deaminate hypochondrium.; assump1 -> int1: the backstitch does not deaminate hypochondrium.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the backstitch is not informal and it does not deaminate hypochondrium is not right.; sent3 -> int4: if the fact that the backstitch is not informal and does not deaminate hypochondrium is false it is not a throbbing.; int3 & int4 -> int5: the backstitch is not a throbbing.; sent6 -> int6: if the backstitch is not a throbbing then that it is not a spawn hold.; int5 & int6 -> int7: the fact that the backstitch is not a spawn is not incorrect.; sent7 -> int8: the fact that the backstitch does not peck coronet is not wrong if it does not spawn.; int7 & int8 -> int9: the backstitch does not peck coronet.; int9 & sent8 -> int10: the fact that the fact that the Perm is scurfy and/or it does not peck coronet does not hold hold.; int10 & sent1 -> hypothesis; __DISPROVED__