there is something such that if it does slave and it is not creedal it is not proteolytic.
sent1: if the fact that something is not Kafkaesque and not a tithe is not correct then it is not ductless. sent2: if the sabicu is not an agate and is a praetorship then the coiffeur is not a housefather. sent3: if the fact that the pellet is a have-not and is not a Coptic does not hold then it is a kind of a top. sent4: if the coiffeur is not a housefather the fact that the gate is not Kafkaesque and not a tithe is not correct. sent5: something is extraterrestrial and proteolytic if it is not ductless. sent6: the fact that the coiffeur is a slave that is not creedal is not correct if the fact that it is not non-proteolytic is not incorrect. sent7: there exists something such that if it exceeds coiffeur and it is a twins then it is not a Tasso. sent8: the coiffeur is not creedal.
void -> assump1: Let's assume that the coiffeur is proteolytic.; sent6 & assump1 -> int1: the fact that the coiffeur is a slave but it is not creedal is not right.; void -> assump2: Let's assume that the coiffeur does slave and is not creedal.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the coiffeur is non-proteolytic.; [assump2] & int3 -> int4: if the coiffeur is a slave and is not creedal it is non-proteolytic.; int4 -> hypothesis;
the gate is proteolytic.
sent5 -> int5: if the gate is not ductless it is not non-extraterrestrial and it is proteolytic.; sent1 -> int6: the fact that the gate is not ductless hold if the fact that it is a kind of non-Kafkaesque thing that is not a tithe does not hold.;
$hypothesis$ = there is something such that if it does slave and it is not creedal it is not proteolytic. ; $context$ = sent1: if the fact that something is not Kafkaesque and not a tithe is not correct then it is not ductless. sent2: if the sabicu is not an agate and is a praetorship then the coiffeur is not a housefather. sent3: if the fact that the pellet is a have-not and is not a Coptic does not hold then it is a kind of a top. sent4: if the coiffeur is not a housefather the fact that the gate is not Kafkaesque and not a tithe is not correct. sent5: something is extraterrestrial and proteolytic if it is not ductless. sent6: the fact that the coiffeur is a slave that is not creedal is not correct if the fact that it is not non-proteolytic is not incorrect. sent7: there exists something such that if it exceeds coiffeur and it is a twins then it is not a Tasso. sent8: the coiffeur is not creedal. ; $proof$ = 
void -> assump1: Let's assume that the coiffeur is proteolytic.; sent6 & assump1 -> int1: the fact that the coiffeur is a slave but it is not creedal is not right.; void -> assump2: Let's assume that the coiffeur does slave and is not creedal.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the coiffeur is non-proteolytic.; [assump2] & int3 -> int4: if the coiffeur is a slave and is not creedal it is non-proteolytic.; int4 -> hypothesis; __PROVED__