the sarcosine is a kind of a redundancy if the harness is a kind of a biotin.
sent1: if there is something such that it is a kind of a Ammotragus then the harness is a redundancy. sent2: the sarcosine is a kind of a biotin if there exists something such that it is a kind of a redundancy. sent3: there is something such that that it is a kind of a redundancy is right. sent4: there is something such that it does transfuse husk. sent5: if the sarcosine is a redundancy the corselet is a kind of a biotin. sent6: if something is a redundancy then the harness is a biotin. sent7: there exists something such that it does propose arrayed. sent8: there is something such that it does transfuse sculptor. sent9: the sarcosine is a kind of a chub. sent10: the sarcosine is a biotin. sent11: there is something such that it is a risen. sent12: if the sarcosine is a kind of a biotin then the harness is a redundancy. sent13: there is something such that the fact that it is a alexic hold. sent14: the swizzle is a redundancy. sent15: if the preserve is a redundancy the sculptor is a biotin. sent16: if there is something such that it is a biotin the harness is a redundancy. sent17: the sarcosine is a redundancy if there exists something such that it is a biotin. sent18: the MD is a redundancy. sent19: the sarcosine is a biotin if the harness is a kind of a redundancy.
void -> assump1: Let's assume that the harness is a kind of a biotin.; assump1 -> int1: something is a kind of a biotin.; int1 & sent17 -> int2: the sarcosine is a kind of a redundancy.; [assump1] & int2 -> hypothesis;
$hypothesis$ = the sarcosine is a kind of a redundancy if the harness is a kind of a biotin. ; $context$ = sent1: if there is something such that it is a kind of a Ammotragus then the harness is a redundancy. sent2: the sarcosine is a kind of a biotin if there exists something such that it is a kind of a redundancy. sent3: there is something such that that it is a kind of a redundancy is right. sent4: there is something such that it does transfuse husk. sent5: if the sarcosine is a redundancy the corselet is a kind of a biotin. sent6: if something is a redundancy then the harness is a biotin. sent7: there exists something such that it does propose arrayed. sent8: there is something such that it does transfuse sculptor. sent9: the sarcosine is a kind of a chub. sent10: the sarcosine is a biotin. sent11: there is something such that it is a risen. sent12: if the sarcosine is a kind of a biotin then the harness is a redundancy. sent13: there is something such that the fact that it is a alexic hold. sent14: the swizzle is a redundancy. sent15: if the preserve is a redundancy the sculptor is a biotin. sent16: if there is something such that it is a biotin the harness is a redundancy. sent17: the sarcosine is a redundancy if there exists something such that it is a biotin. sent18: the MD is a redundancy. sent19: the sarcosine is a biotin if the harness is a kind of a redundancy. ; $proof$ = 
void -> assump1: Let's assume that the harness is a kind of a biotin.; assump1 -> int1: something is a kind of a biotin.; int1 & sent17 -> int2: the sarcosine is a kind of a redundancy.; [assump1] & int2 -> hypothesis; __PROVED__