the acetum is not a gingham.
sent1: the leader is not a Burnett. sent2: if that something does not outsell evangelist and/or does devoice watermeal is not true then it does not devoice Sumer. sent3: the fact that the yenta either does not outsell evangelist or does devoice watermeal or both is not correct if the hairpin does not outsell leader. sent4: if the yenta does not devoice Sumer then the Sinologist devoice Sumer and is not cerous. sent5: if the leader is not a kind of a Burnett then that the hairpin is a Amarillo but it is not a kind of a Carica does not hold. sent6: if something does devoice watermeal then that it is a gingham is not wrong. sent7: if the fact that something is a Amarillo but it is not a Carica does not hold it does not outsell leader. sent8: the acetum is not a gingham if that the Sinologist does devoice Sumer but it is not cerous is not wrong.
sent7 -> int1: if that the hairpin is a kind of a Amarillo and is not a kind of a Carica is false then it does not outsell leader.; sent5 & sent1 -> int2: that the hairpin is a Amarillo but it is not a Carica is wrong.; int1 & int2 -> int3: the hairpin does not outsell leader.; int3 & sent3 -> int4: that the yenta either does not outsell evangelist or does devoice watermeal or both is not true.; sent2 -> int5: if the fact that the yenta does not outsell evangelist or it does devoice watermeal or both is incorrect it does not devoice Sumer.; int4 & int5 -> int6: the yenta does not devoice Sumer.; int6 & sent4 -> int7: the Sinologist does devoice Sumer but it is not cerous.; int7 & sent8 -> hypothesis;
the acetum is a gingham.
sent6 -> int8: if the acetum devoices watermeal then it is a kind of a gingham.;
$hypothesis$ = the acetum is not a gingham. ; $context$ = sent1: the leader is not a Burnett. sent2: if that something does not outsell evangelist and/or does devoice watermeal is not true then it does not devoice Sumer. sent3: the fact that the yenta either does not outsell evangelist or does devoice watermeal or both is not correct if the hairpin does not outsell leader. sent4: if the yenta does not devoice Sumer then the Sinologist devoice Sumer and is not cerous. sent5: if the leader is not a kind of a Burnett then that the hairpin is a Amarillo but it is not a kind of a Carica does not hold. sent6: if something does devoice watermeal then that it is a gingham is not wrong. sent7: if the fact that something is a Amarillo but it is not a Carica does not hold it does not outsell leader. sent8: the acetum is not a gingham if that the Sinologist does devoice Sumer but it is not cerous is not wrong. ; $proof$ = 
sent7 -> int1: if that the hairpin is a kind of a Amarillo and is not a kind of a Carica is false then it does not outsell leader.; sent5 & sent1 -> int2: that the hairpin is a Amarillo but it is not a Carica is wrong.; int1 & int2 -> int3: the hairpin does not outsell leader.; int3 & sent3 -> int4: that the yenta either does not outsell evangelist or does devoice watermeal or both is not true.; sent2 -> int5: if the fact that the yenta does not outsell evangelist or it does devoice watermeal or both is incorrect it does not devoice Sumer.; int4 & int5 -> int6: the yenta does not devoice Sumer.; int6 & sent4 -> int7: the Sinologist does devoice Sumer but it is not cerous.; int7 & sent8 -> hypothesis; __PROVED__