the orpine does not barbarize Liszt and overturns thyroxine.
sent1: the baronet is a Huntington if the panatela overturns fratricide. sent2: the fact that something is a kind of a Huntington but it is not an arch is not true if it does not overturn fratricide. sent3: if that the panatela does not barbarize Liszt and overturns thyroxine is not true the orpine does not overturn fratricide. sent4: if the fact that something is a Huntington but it does not arch is false then it barbarizes Liszt. sent5: the baronet is a Huntington if the panatela arches. sent6: the fact that the panatela overturns fratricide or it is an arch or both hold. sent7: the Lota is not a kind of a Mahayanism but it arches. sent8: the fact that the orpine does barbarize Liszt and does overturn thyroxine is incorrect. sent9: if that the fact that the orpine does not barbarize Liszt and does overturn thyroxine does not hold is true then the baronet is not a kind of a Huntington.
void -> assump1: Let's assume that the fact that the orpine does not barbarize Liszt and does overturn thyroxine is not true.; sent9 & assump1 -> int1: the baronet is not a kind of a Huntington.; sent6 & sent1 & sent5 -> int2: the baronet is a Huntington.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the fact that the sundae does not barbarize Liszt and is a misapplication is incorrect.
sent4 -> int4: the orpine does barbarize Liszt if the fact that it is a kind of a Huntington and it is not an arch is incorrect.; sent2 -> int5: if the orpine does not overturn fratricide then the fact that it is a Huntington and it is not an arch does not hold.;
$hypothesis$ = the orpine does not barbarize Liszt and overturns thyroxine. ; $context$ = sent1: the baronet is a Huntington if the panatela overturns fratricide. sent2: the fact that something is a kind of a Huntington but it is not an arch is not true if it does not overturn fratricide. sent3: if that the panatela does not barbarize Liszt and overturns thyroxine is not true the orpine does not overturn fratricide. sent4: if the fact that something is a Huntington but it does not arch is false then it barbarizes Liszt. sent5: the baronet is a Huntington if the panatela arches. sent6: the fact that the panatela overturns fratricide or it is an arch or both hold. sent7: the Lota is not a kind of a Mahayanism but it arches. sent8: the fact that the orpine does barbarize Liszt and does overturn thyroxine is incorrect. sent9: if that the fact that the orpine does not barbarize Liszt and does overturn thyroxine does not hold is true then the baronet is not a kind of a Huntington. ; $proof$ = 
void -> assump1: Let's assume that the fact that the orpine does not barbarize Liszt and does overturn thyroxine is not true.; sent9 & assump1 -> int1: the baronet is not a kind of a Huntington.; sent6 & sent1 & sent5 -> int2: the baronet is a Huntington.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __PROVED__