if the Wheeler does guarantee Schoolcraft and is wary the Communist does not tag wistfulness.
sent1: something does tag wistfulness if it is a statement and it is not a custodian. sent2: a wary thing that is not a passerine does guarantee Schoolcraft. sent3: if something that guarantees Schoolcraft does not tag wistfulness then it is not nonpasserine. sent4: the Communist is a kind of a statement but it does not guarantee Schoolcraft. sent5: there exists something such that it does defuse Bayonne and is not a passerine. sent6: the Communist defuses Bayonne and it is a statement. sent7: something is not physicochemical if it is a custodian and wary. sent8: if that something is a statement but it is not a kind of a custodian hold it does not tag wistfulness. sent9: the cushion is a custodian. sent10: there exists something such that that it is erect and it is effortful is false. sent11: the Communist does not guarantee Schoolcraft if the Wheeler is not a statement. sent12: the Wheeler does guarantee Schoolcraft and is not physicochemical. sent13: something is nonpasserine if it is not unwary and does defuse Bayonne. sent14: if the sarcosporidian tags wistfulness but it is not a kind of a custodian then it does not defuse Bayonne. sent15: the Communist is a passerine and does not defuse Bayonne if the sarcosporidian does not tag wistfulness. sent16: the sarcosporidian does not defuse Bayonne if the Wheeler is a custodian and it guarantees Schoolcraft. sent17: the Communist is not a passerine if there exists something such that it is a custodian. sent18: the Communist is a statement but it is not a custodian if the conspirator is not physicochemical. sent19: if there exists something such that that it does defuse Bayonne and is not passerine is not true the conspirator is not physicochemical. sent20: there exists something such that that it is a statement and it is not physicochemical is not correct.
void -> assump1: Let's assume that the Wheeler does guarantee Schoolcraft and is wary.; assump1 -> int1: the Wheeler is wary.; sent8 -> int2: if the Communist is a kind of a statement but it is not a custodian it does not tag wistfulness.;
$hypothesis$ = if the Wheeler does guarantee Schoolcraft and is wary the Communist does not tag wistfulness. ; $context$ = sent1: something does tag wistfulness if it is a statement and it is not a custodian. sent2: a wary thing that is not a passerine does guarantee Schoolcraft. sent3: if something that guarantees Schoolcraft does not tag wistfulness then it is not nonpasserine. sent4: the Communist is a kind of a statement but it does not guarantee Schoolcraft. sent5: there exists something such that it does defuse Bayonne and is not a passerine. sent6: the Communist defuses Bayonne and it is a statement. sent7: something is not physicochemical if it is a custodian and wary. sent8: if that something is a statement but it is not a kind of a custodian hold it does not tag wistfulness. sent9: the cushion is a custodian. sent10: there exists something such that that it is erect and it is effortful is false. sent11: the Communist does not guarantee Schoolcraft if the Wheeler is not a statement. sent12: the Wheeler does guarantee Schoolcraft and is not physicochemical. sent13: something is nonpasserine if it is not unwary and does defuse Bayonne. sent14: if the sarcosporidian tags wistfulness but it is not a kind of a custodian then it does not defuse Bayonne. sent15: the Communist is a passerine and does not defuse Bayonne if the sarcosporidian does not tag wistfulness. sent16: the sarcosporidian does not defuse Bayonne if the Wheeler is a custodian and it guarantees Schoolcraft. sent17: the Communist is not a passerine if there exists something such that it is a custodian. sent18: the Communist is a statement but it is not a custodian if the conspirator is not physicochemical. sent19: if there exists something such that that it does defuse Bayonne and is not passerine is not true the conspirator is not physicochemical. sent20: there exists something such that that it is a statement and it is not physicochemical is not correct. ; $proof$ = 
void -> assump1: Let's assume that the Wheeler does guarantee Schoolcraft and is wary.; assump1 -> int1: the Wheeler is wary.; sent8 -> int2: if the Communist is a kind of a statement but it is not a custodian it does not tag wistfulness.; __UNKNOWN__