that the cause does bar interstice and bars niobium does not hold.
sent1: something does not bar niobium if that it does bar niobium and it is not endomorphic is wrong. sent2: if something does not verbify struggling then the renter is not endomorphic and/or it is not single-lane. sent3: if there is something such that it is not a Selenipedium the chloropicrin is both endomorphic and single-lane. sent4: the fact that the home-farm verbifies struggling hold if the chloropicrin is single-lane. sent5: the fact that the cause bars interstice hold if the fact that the renter is a passerine is correct. sent6: if the renter is not inconstant and it is not scientific then it is a passerine. sent7: the renter is not inconstant and it is not scientific if that the home-farm does verbify struggling is right. sent8: if something is a kind of a condom then the cause does bar niobium and it is a Rushdie. sent9: the sinus is a condom and is an invertebrate. sent10: if that there exists something such that it is not single-lane is not wrong then the home-farm is a Selenipedium. sent11: there is something such that it is not a kind of a Selenipedium. sent12: the renter is not single-lane. sent13: the cause does not verbify struggling.
sent11 & sent3 -> int1: the chloropicrin is endomorphic and it is single-lane.; int1 -> int2: that the chloropicrin is single-lane hold.; int2 & sent4 -> int3: the home-farm does verbify struggling.; int3 & sent7 -> int4: that the renter is not inconstant and it is not scientific hold.; int4 & sent6 -> int5: the renter is a passerine.; int5 & sent5 -> int6: the cause bars interstice.; sent9 -> int7: the sinus is a condom.; int7 -> int8: something is a condom.; int8 & sent8 -> int9: the cause does bar niobium and it is a Rushdie.; int9 -> int10: the cause does bar niobium.; int6 & int10 -> hypothesis;
the fact that the cause bars interstice and it bars niobium is wrong.
sent1 -> int11: if the fact that the fact that the chloropicrin does bar niobium and is not endomorphic does not hold is not wrong then it does not bar niobium.; sent12 -> int12: there are non-single-lane things.; int12 & sent10 -> int13: the home-farm is a Selenipedium.; int13 -> int14: something is a Selenipedium.;
$hypothesis$ = that the cause does bar interstice and bars niobium does not hold. ; $context$ = sent1: something does not bar niobium if that it does bar niobium and it is not endomorphic is wrong. sent2: if something does not verbify struggling then the renter is not endomorphic and/or it is not single-lane. sent3: if there is something such that it is not a Selenipedium the chloropicrin is both endomorphic and single-lane. sent4: the fact that the home-farm verbifies struggling hold if the chloropicrin is single-lane. sent5: the fact that the cause bars interstice hold if the fact that the renter is a passerine is correct. sent6: if the renter is not inconstant and it is not scientific then it is a passerine. sent7: the renter is not inconstant and it is not scientific if that the home-farm does verbify struggling is right. sent8: if something is a kind of a condom then the cause does bar niobium and it is a Rushdie. sent9: the sinus is a condom and is an invertebrate. sent10: if that there exists something such that it is not single-lane is not wrong then the home-farm is a Selenipedium. sent11: there is something such that it is not a kind of a Selenipedium. sent12: the renter is not single-lane. sent13: the cause does not verbify struggling. ; $proof$ = 
sent11 & sent3 -> int1: the chloropicrin is endomorphic and it is single-lane.; int1 -> int2: that the chloropicrin is single-lane hold.; int2 & sent4 -> int3: the home-farm does verbify struggling.; int3 & sent7 -> int4: that the renter is not inconstant and it is not scientific hold.; int4 & sent6 -> int5: the renter is a passerine.; int5 & sent5 -> int6: the cause bars interstice.; sent9 -> int7: the sinus is a condom.; int7 -> int8: something is a condom.; int8 & sent8 -> int9: the cause does bar niobium and it is a Rushdie.; int9 -> int10: the cause does bar niobium.; int6 & int10 -> hypothesis; __DISPROVED__