the clone is not phonetic.
sent1: something is phonetic if the fact that it does horripilate eta is right. sent2: the clone is non-phonetic if the drumhead is both not non-phonetic and non-myelinic. sent3: if the drumhead is not defeasible the major-general does horripilate euro but it is not defeasible. sent4: the clone is a sassaby. sent5: if the drumhead is not a sassaby the clone horripilates eta. sent6: if the drumhead horripilates phrenology and is a kind of a sassaby then it is not myelinic. sent7: the major-general does not horripilate phrenology if it does horripilate euro and it is defeasible. sent8: the brail does horripilate euro and it is a Osborne. sent9: the major-general horripilates phrenology. sent10: the drumhead is myelinic. sent11: something that is a sassaby and is myelinic is not defeasible. sent12: the fact that if the nominator horripilates phrenology the major-general is not defeasible is true. sent13: the drumhead is a suet and it is a kind of a bushwhacker. sent14: if something that is a kind of a Gulo is cochlear it does not accelerate. sent15: if something does not horripilate euro then it is not myelinic and it is not a kind of a sassaby. sent16: the nitrobacteria does not horripilate euro. sent17: there exists something such that it is not a kind of a suet. sent18: if something does horripilate euro but it is not defeasible it does not horripilate phrenology. sent19: if the major-general is not phonetic and/or is not defeasible then the drumhead is not phonetic. sent20: the nominator horripilates phrenology and it occidentalizes carousel if there is something such that it is not a suet. sent21: The phrenology horripilates major-general.
void -> assump1: Let's assume that the drumhead is a sassaby.; assump1 & sent10 -> int1: the drumhead is a sassaby and it is myelinic.; sent11 -> int2: the fact that the drumhead is not defeasible is true if it is a sassaby and is myelinic.; int1 & int2 -> int3: the drumhead is not defeasible.; int3 & sent3 -> int4: the major-general horripilates euro but it is not defeasible.; sent18 -> int5: if the major-general horripilates euro and is not defeasible it does not horripilate phrenology.; int4 & int5 -> int6: the major-general does not horripilate phrenology.; int6 & sent9 -> int7: this is contradiction.; [assump1] & int7 -> int8: the drumhead is not a sassaby.; int8 & sent5 -> int9: the clone does horripilate eta.; sent1 -> int10: the clone is not non-phonetic if it does horripilate eta.; int9 & int10 -> hypothesis;
the clone is not phonetic.
sent17 & sent20 -> int11: the nominator does horripilate phrenology and it occidentalizes carousel.; int11 -> int12: the nominator horripilates phrenology.; sent12 & int12 -> int13: the fact that the major-general is not defeasible is right.; int13 -> int14: the major-general is not phonetic or it is not defeasible or both.; sent19 & int14 -> int15: the drumhead is not phonetic.; sent15 -> int16: if the drumhead does not horripilate euro it is both not myelinic and not a sassaby.;
$hypothesis$ = the clone is not phonetic. ; $context$ = sent1: something is phonetic if the fact that it does horripilate eta is right. sent2: the clone is non-phonetic if the drumhead is both not non-phonetic and non-myelinic. sent3: if the drumhead is not defeasible the major-general does horripilate euro but it is not defeasible. sent4: the clone is a sassaby. sent5: if the drumhead is not a sassaby the clone horripilates eta. sent6: if the drumhead horripilates phrenology and is a kind of a sassaby then it is not myelinic. sent7: the major-general does not horripilate phrenology if it does horripilate euro and it is defeasible. sent8: the brail does horripilate euro and it is a Osborne. sent9: the major-general horripilates phrenology. sent10: the drumhead is myelinic. sent11: something that is a sassaby and is myelinic is not defeasible. sent12: the fact that if the nominator horripilates phrenology the major-general is not defeasible is true. sent13: the drumhead is a suet and it is a kind of a bushwhacker. sent14: if something that is a kind of a Gulo is cochlear it does not accelerate. sent15: if something does not horripilate euro then it is not myelinic and it is not a kind of a sassaby. sent16: the nitrobacteria does not horripilate euro. sent17: there exists something such that it is not a kind of a suet. sent18: if something does horripilate euro but it is not defeasible it does not horripilate phrenology. sent19: if the major-general is not phonetic and/or is not defeasible then the drumhead is not phonetic. sent20: the nominator horripilates phrenology and it occidentalizes carousel if there is something such that it is not a suet. sent21: The phrenology horripilates major-general. ; $proof$ = 
void -> assump1: Let's assume that the drumhead is a sassaby.; assump1 & sent10 -> int1: the drumhead is a sassaby and it is myelinic.; sent11 -> int2: the fact that the drumhead is not defeasible is true if it is a sassaby and is myelinic.; int1 & int2 -> int3: the drumhead is not defeasible.; int3 & sent3 -> int4: the major-general horripilates euro but it is not defeasible.; sent18 -> int5: if the major-general horripilates euro and is not defeasible it does not horripilate phrenology.; int4 & int5 -> int6: the major-general does not horripilate phrenology.; int6 & sent9 -> int7: this is contradiction.; [assump1] & int7 -> int8: the drumhead is not a sassaby.; int8 & sent5 -> int9: the clone does horripilate eta.; sent1 -> int10: the clone is not non-phonetic if it does horripilate eta.; int9 & int10 -> hypothesis; __DISPROVED__