the initiate is weedy.
sent1: that the initiate does not smuggle and it does not beam is not right. sent2: there is nothing such that it does not beam and is non-effortful. sent3: the carangid is effortful. sent4: the speaker is serviceable but it is not a Hirundinidae. sent5: if the tragus is a kind of a lander the carangid is a kind of a beam. sent6: that the carangid is both not a erasure and not a frightfulness is not incorrect. sent7: if the fact that the speaker is a Araujia that is a Heisenberg is not true then it is not a Araujia. sent8: if the initiate is a lander then the carangid is weedy. sent9: that the tragus is a kind of non-weedy thing that is not a beam is false. sent10: if the speaker is a hyperadrenalism then it is a faun. sent11: the fact that the speaker is a kind of the hyperadrenalism if the speaker is both serviceable and not a Hirundinidae hold. sent12: if the initiate is a beam then the tragus is weedy. sent13: the fact that if that the tragus is not a beam but weedy is not right then the initiate is not weedy is not false. sent14: the initiate is effortful. sent15: the carangid is a lander if the tragus is effortful. sent16: the fact that the initiate is both non-effortful and non-weedy is false. sent17: the speaker is a kind of a pragmatics and it is a lander if it is not a kind of a Araujia. sent18: the tragus is breathless. sent19: if the tragus is a lander then the carangid is effortful. sent20: the tragus is not a beam. sent21: the initiate is not non-weedy if the carangid is a lander. sent22: that the tragus is not a lander is right. sent23: if the tragus beams then that the carangid is effortful is true.
void -> assump1: Let's assume that the tragus is not effortful.; sent20 & assump1 -> int1: the tragus is both not a beam and not effortful.; sent2 -> int2: that the fact that the tragus is not a beam and is not effortful is false is true.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the tragus is effortful.; int4 & sent15 -> int5: the carangid is a lander.; int5 & sent21 -> hypothesis;
the initiate is not weedy.
sent11 & sent4 -> int6: the fact that the speaker is a hyperadrenalism is right.; sent10 & int6 -> int7: that the speaker is a kind of a faun hold.;
$hypothesis$ = the initiate is weedy. ; $context$ = sent1: that the initiate does not smuggle and it does not beam is not right. sent2: there is nothing such that it does not beam and is non-effortful. sent3: the carangid is effortful. sent4: the speaker is serviceable but it is not a Hirundinidae. sent5: if the tragus is a kind of a lander the carangid is a kind of a beam. sent6: that the carangid is both not a erasure and not a frightfulness is not incorrect. sent7: if the fact that the speaker is a Araujia that is a Heisenberg is not true then it is not a Araujia. sent8: if the initiate is a lander then the carangid is weedy. sent9: that the tragus is a kind of non-weedy thing that is not a beam is false. sent10: if the speaker is a hyperadrenalism then it is a faun. sent11: the fact that the speaker is a kind of the hyperadrenalism if the speaker is both serviceable and not a Hirundinidae hold. sent12: if the initiate is a beam then the tragus is weedy. sent13: the fact that if that the tragus is not a beam but weedy is not right then the initiate is not weedy is not false. sent14: the initiate is effortful. sent15: the carangid is a lander if the tragus is effortful. sent16: the fact that the initiate is both non-effortful and non-weedy is false. sent17: the speaker is a kind of a pragmatics and it is a lander if it is not a kind of a Araujia. sent18: the tragus is breathless. sent19: if the tragus is a lander then the carangid is effortful. sent20: the tragus is not a beam. sent21: the initiate is not non-weedy if the carangid is a lander. sent22: that the tragus is not a lander is right. sent23: if the tragus beams then that the carangid is effortful is true. ; $proof$ = 
void -> assump1: Let's assume that the tragus is not effortful.; sent20 & assump1 -> int1: the tragus is both not a beam and not effortful.; sent2 -> int2: that the fact that the tragus is not a beam and is not effortful is false is true.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the tragus is effortful.; int4 & sent15 -> int5: the carangid is a lander.; int5 & sent21 -> hypothesis; __PROVED__