the Smitane is not a kind of a pretzel.
sent1: if the Smitane does not baffle and is not a kind of a pretzel that the directory does not baffle is correct. sent2: if something is a sneaking then it does not harlequin reaction and it is Rooseveltian. sent3: the directory befalls if the fact that either the nostrum is not a kind of a demister or it is not cellular or both is not right. sent4: there exists nothing such that it is not a kind of a demister and/or is not cellular. sent5: if there is something such that it does punish conspirator and it is cardiologic then the pumpkin does not pass intron. sent6: the nostrum is cellular. sent7: if something does pass intron it is a kind of a pretzel. sent8: the vesiculovirus is not salable if something is a waxiness or it is offshore or both. sent9: that the directory does baffle and does not befall is not correct if the pumpkin does not pass intron. sent10: the fact that something is a gigabyte but it is not a kind of a sneaking is not correct if it is not salable. sent11: a baffled does pass intron. sent12: something is a sneaking if that it is a gigabyte and it is not a sneaking does not hold. sent13: if something punishes regurgitation it is a horse-trail. sent14: that something punishes conspirator and it is cardiologic is right if it is not Rooseveltian. sent15: there exists nothing that is leafy or non-parental or both. sent16: the Smitane baffles if the fact that the directory does befall hold. sent17: everything is cellular. sent18: if the vesiculovirus does not harlequin reaction and is Rooseveltian the bordelaise is not Rooseveltian. sent19: if the fact that the nostrum is not a demister and/or is cellular is false the directory befalls. sent20: the nodule is a waxiness and/or it is offshore.
sent4 -> int1: the fact that the nostrum either is not a demister or is not cellular or both does not hold.; int1 & sent3 -> int2: the directory befalls.; int2 & sent16 -> int3: the Smitane does baffle.; sent11 -> int4: if the Smitane baffles then it passes intron.; int3 & int4 -> int5: the Smitane passes intron.; sent7 -> int6: if the fact that the Smitane does pass intron is not incorrect it is a pretzel.; int5 & int6 -> hypothesis;
the Smitane is not a pretzel.
sent14 -> int7: the bordelaise does punish conspirator and is cardiologic if it is not Rooseveltian.; sent2 -> int8: the vesiculovirus does not harlequin reaction and is Rooseveltian if it sneaks.; sent12 -> int9: the vesiculovirus is a sneaking if the fact that it is a gigabyte and is not a sneaking is not true.; sent10 -> int10: the fact that the vesiculovirus is a kind of a gigabyte but it does not sneak is not right if the fact that it is not salable is true.; sent20 -> int11: there exists something such that it is a waxiness and/or is offshore.; int11 & sent8 -> int12: the vesiculovirus is not salable.; int10 & int12 -> int13: the fact that the vesiculovirus is both a gigabyte and not a sneaking does not hold.; int9 & int13 -> int14: the vesiculovirus does sneak.; int8 & int14 -> int15: the vesiculovirus does not harlequin reaction and is Rooseveltian.; sent18 & int15 -> int16: the bordelaise is not Rooseveltian.; int7 & int16 -> int17: the bordelaise does punish conspirator and it is cardiologic.; int17 -> int18: there is something such that it does punish conspirator and it is cardiologic.; int18 & sent5 -> int19: the pumpkin does not pass intron.; sent9 & int19 -> int20: the fact that the directory baffles and does not befall does not hold.; int20 -> int21: there exists something such that that it is a baffled and it does not befall is false.;
$hypothesis$ = the Smitane is not a kind of a pretzel. ; $context$ = sent1: if the Smitane does not baffle and is not a kind of a pretzel that the directory does not baffle is correct. sent2: if something is a sneaking then it does not harlequin reaction and it is Rooseveltian. sent3: the directory befalls if the fact that either the nostrum is not a kind of a demister or it is not cellular or both is not right. sent4: there exists nothing such that it is not a kind of a demister and/or is not cellular. sent5: if there is something such that it does punish conspirator and it is cardiologic then the pumpkin does not pass intron. sent6: the nostrum is cellular. sent7: if something does pass intron it is a kind of a pretzel. sent8: the vesiculovirus is not salable if something is a waxiness or it is offshore or both. sent9: that the directory does baffle and does not befall is not correct if the pumpkin does not pass intron. sent10: the fact that something is a gigabyte but it is not a kind of a sneaking is not correct if it is not salable. sent11: a baffled does pass intron. sent12: something is a sneaking if that it is a gigabyte and it is not a sneaking does not hold. sent13: if something punishes regurgitation it is a horse-trail. sent14: that something punishes conspirator and it is cardiologic is right if it is not Rooseveltian. sent15: there exists nothing that is leafy or non-parental or both. sent16: the Smitane baffles if the fact that the directory does befall hold. sent17: everything is cellular. sent18: if the vesiculovirus does not harlequin reaction and is Rooseveltian the bordelaise is not Rooseveltian. sent19: if the fact that the nostrum is not a demister and/or is cellular is false the directory befalls. sent20: the nodule is a waxiness and/or it is offshore. ; $proof$ = 
sent4 -> int1: the fact that the nostrum either is not a demister or is not cellular or both does not hold.; int1 & sent3 -> int2: the directory befalls.; int2 & sent16 -> int3: the Smitane does baffle.; sent11 -> int4: if the Smitane baffles then it passes intron.; int3 & int4 -> int5: the Smitane passes intron.; sent7 -> int6: if the fact that the Smitane does pass intron is not incorrect it is a pretzel.; int5 & int6 -> hypothesis; __DISPROVED__