the timbrel is a skinny-dipper.
sent1: that the harvestfish is a skinny-dipper and it is a consummation does not hold. sent2: the fact that the timbrel is a Genevan and it is a kind of a anionic is not right. sent3: that the timbrel is a anionic and it does drape leave is not correct. sent4: if something does drape Lycaenidae then it is a skinny-dipper. sent5: if the timbrel does drape Lycaenidae then it is a kind of a Synge. sent6: that the timbrel is not anionic but it drapes leave is incorrect. sent7: something is anionic if that it is not a anionic and it drapes leave is not true. sent8: that the candidate does not drape postdoc and is a carpal is not correct if there is something such that it drape postdoc. sent9: if something does drape leave but it does not counterpoint harnessed it does drape Lycaenidae. sent10: something does drape leave and does not counterpoint harnessed if it is not a sorbate. sent11: there exists something such that the fact that it is a kind of a nailbrush and it is roentgenographic is incorrect. sent12: the bulbul is not a grubstake. sent13: the timbrel is not a anionic if the fact that it does scatter and it is a grubstake is not true. sent14: if the timbrel does not scatter it is not a anionic.
void -> assump1: Let's assume that the timbrel does not drape Lycaenidae.; sent7 -> int1: if the fact that the timbrel is non-anionic thing that does drape leave does not hold then it is a anionic.; int1 & sent6 -> int2: the timbrel is anionic.; sent4 -> int3: if the timbrel does drape Lycaenidae that it is a skinny-dipper is true.;
that the candidate does not drape postdoc but it is a carpal is wrong.
$hypothesis$ = the timbrel is a skinny-dipper. ; $context$ = sent1: that the harvestfish is a skinny-dipper and it is a consummation does not hold. sent2: the fact that the timbrel is a Genevan and it is a kind of a anionic is not right. sent3: that the timbrel is a anionic and it does drape leave is not correct. sent4: if something does drape Lycaenidae then it is a skinny-dipper. sent5: if the timbrel does drape Lycaenidae then it is a kind of a Synge. sent6: that the timbrel is not anionic but it drapes leave is incorrect. sent7: something is anionic if that it is not a anionic and it drapes leave is not true. sent8: that the candidate does not drape postdoc and is a carpal is not correct if there is something such that it drape postdoc. sent9: if something does drape leave but it does not counterpoint harnessed it does drape Lycaenidae. sent10: something does drape leave and does not counterpoint harnessed if it is not a sorbate. sent11: there exists something such that the fact that it is a kind of a nailbrush and it is roentgenographic is incorrect. sent12: the bulbul is not a grubstake. sent13: the timbrel is not a anionic if the fact that it does scatter and it is a grubstake is not true. sent14: if the timbrel does not scatter it is not a anionic. ; $proof$ = 
void -> assump1: Let's assume that the timbrel does not drape Lycaenidae.; sent7 -> int1: if the fact that the timbrel is non-anionic thing that does drape leave does not hold then it is a anionic.; int1 & sent6 -> int2: the timbrel is anionic.; sent4 -> int3: if the timbrel does drape Lycaenidae that it is a skinny-dipper is true.; __UNKNOWN__