the rump does trivialize Thoth and it does knit outfit.
sent1: the rump is not acetylic if it is not a pacesetter and knits sawdust. sent2: the fact that the anus is a pacesetter is false. sent3: the dauphin is not a reedbird. sent4: the anus is not a pacesetter but it is a after-shave. sent5: the anamorphism does not skim if something does not knit sawdust. sent6: that the anamorphism is a kind of a reedbird that is a skim is not correct. sent7: if the rump is not acetylic then it does trivialize Thoth. sent8: the rump does trivialize Thoth and it does knit outfit if it is not acetylic. sent9: the fact that the anamorphism is a kind of a reedbird but it does not skim is incorrect. sent10: if that the anamorphism is both a reedbird and not a skim is incorrect it does skim. sent11: the rump is not a kind of a pacesetter if the anus is not a pacesetter but it is a after-shave.
void -> assump1: Let's assume that the rump does not knit sawdust.; assump1 -> int1: there is something such that it does not knit sawdust.; int1 & sent5 -> int2: the anamorphism is not a kind of a skim.; sent10 & sent9 -> int3: the anamorphism does skim.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the rump knits sawdust.; sent11 & sent4 -> int6: the rump is not a pacesetter.; int5 & int6 -> int7: the rump is not a pacesetter and knits sawdust.; int7 & sent1 -> int8: the rump is not acetylic.; int8 & sent8 -> hypothesis;
$hypothesis$ = the rump does trivialize Thoth and it does knit outfit. ; $context$ = sent1: the rump is not acetylic if it is not a pacesetter and knits sawdust. sent2: the fact that the anus is a pacesetter is false. sent3: the dauphin is not a reedbird. sent4: the anus is not a pacesetter but it is a after-shave. sent5: the anamorphism does not skim if something does not knit sawdust. sent6: that the anamorphism is a kind of a reedbird that is a skim is not correct. sent7: if the rump is not acetylic then it does trivialize Thoth. sent8: the rump does trivialize Thoth and it does knit outfit if it is not acetylic. sent9: the fact that the anamorphism is a kind of a reedbird but it does not skim is incorrect. sent10: if that the anamorphism is both a reedbird and not a skim is incorrect it does skim. sent11: the rump is not a kind of a pacesetter if the anus is not a pacesetter but it is a after-shave. ; $proof$ = 
void -> assump1: Let's assume that the rump does not knit sawdust.; assump1 -> int1: there is something such that it does not knit sawdust.; int1 & sent5 -> int2: the anamorphism is not a kind of a skim.; sent10 & sent9 -> int3: the anamorphism does skim.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the rump knits sawdust.; sent11 & sent4 -> int6: the rump is not a pacesetter.; int5 & int6 -> int7: the rump is not a pacesetter and knits sawdust.; int7 & sent1 -> int8: the rump is not acetylic.; int8 & sent8 -> hypothesis; __PROVED__