there is something such that if it does not tackle then the fact that it is a sheared and/or it is an anthropomorphism is wrong.
sent1: if the redbird is not a tackle that it shears or it is an anthropomorphism or both is incorrect. sent2: if the redbird does not tackle then the fact that either it is a sheared or it is an anthropomorphism or both is not false. sent3: there exists something such that if it does tackle then the fact that it is a sheared or it is a kind of an anthropomorphism or both is not true. sent4: that either the redbird does shear or it is an anthropomorphism or both does not hold if it is a tackle. sent5: there exists something such that if the fact that it is not a tackle hold then it is not a kind of an anthropomorphism. sent6: if the bundle does not chance manubrium that it does demineralize bundle and/or it is skinless is false. sent7: if the redbird is not a kind of a tackle it is not a kind of an anthropomorphism.
sent1 -> hypothesis;
$hypothesis$ = there is something such that if it does not tackle then the fact that it is a sheared and/or it is an anthropomorphism is wrong. ; $context$ = sent1: if the redbird is not a tackle that it shears or it is an anthropomorphism or both is incorrect. sent2: if the redbird does not tackle then the fact that either it is a sheared or it is an anthropomorphism or both is not false. sent3: there exists something such that if it does tackle then the fact that it is a sheared or it is a kind of an anthropomorphism or both is not true. sent4: that either the redbird does shear or it is an anthropomorphism or both does not hold if it is a tackle. sent5: there exists something such that if the fact that it is not a tackle hold then it is not a kind of an anthropomorphism. sent6: if the bundle does not chance manubrium that it does demineralize bundle and/or it is skinless is false. sent7: if the redbird is not a kind of a tackle it is not a kind of an anthropomorphism. ; $proof$ = 
sent1 -> hypothesis; __PROVED__