the fact that the sledder is sonic but it is not a Arauca is not correct.
sent1: if the Parmesan is nonspecific the fact that it does shuck and it is not sociocultural is wrong. sent2: the Qibla does not shuck if that there exists something such that the fact that it is a homebrew and shuck is incorrect is not incorrect. sent3: there is something such that the fact that it is a kind of a homebrew that does shuck is not correct. sent4: the sledder is sociocultural. sent5: if there is something such that that it does shuck and it is non-sociocultural is incorrect then the spirit is non-sociocultural. sent6: the fact that the Parmesan is nonspecific is not wrong. sent7: the roentgenogram is monocotyledonous if that there exists something such that it is sociocultural is not incorrect. sent8: if the sledder overbids it is sonic and it is not a Arauca. sent9: that the sledder is a kind of sonic thing that is not a Arauca is incorrect if the fact that it does loom Bioko is correct. sent10: if the sledder is sociocultural then it is a kind of a overbid. sent11: that the parquet is not poetic but it does loom Bioko does not hold if the fact that it is not gravitational hold. sent12: if the Qibla does not shuck then the Parmesan is poetic thing that does not loom Bioko. sent13: the spirit is sociocultural if the parquet is a overbid. sent14: if that the parquet is not poetic and does loom Bioko is not right the sledder loom Bioko.
sent10 & sent4 -> int1: the sledder is a overbid.; int1 & sent8 -> hypothesis;
that the sledder is sonic but it is not a Arauca is not true.
sent3 & sent2 -> int2: the Qibla does not shuck.; sent12 & int2 -> int3: the Parmesan is poetic but it does not loom Bioko.; int3 -> int4: something is a kind of poetic thing that does not loom Bioko.;
$hypothesis$ = the fact that the sledder is sonic but it is not a Arauca is not correct. ; $context$ = sent1: if the Parmesan is nonspecific the fact that it does shuck and it is not sociocultural is wrong. sent2: the Qibla does not shuck if that there exists something such that the fact that it is a homebrew and shuck is incorrect is not incorrect. sent3: there is something such that the fact that it is a kind of a homebrew that does shuck is not correct. sent4: the sledder is sociocultural. sent5: if there is something such that that it does shuck and it is non-sociocultural is incorrect then the spirit is non-sociocultural. sent6: the fact that the Parmesan is nonspecific is not wrong. sent7: the roentgenogram is monocotyledonous if that there exists something such that it is sociocultural is not incorrect. sent8: if the sledder overbids it is sonic and it is not a Arauca. sent9: that the sledder is a kind of sonic thing that is not a Arauca is incorrect if the fact that it does loom Bioko is correct. sent10: if the sledder is sociocultural then it is a kind of a overbid. sent11: that the parquet is not poetic but it does loom Bioko does not hold if the fact that it is not gravitational hold. sent12: if the Qibla does not shuck then the Parmesan is poetic thing that does not loom Bioko. sent13: the spirit is sociocultural if the parquet is a overbid. sent14: if that the parquet is not poetic and does loom Bioko is not right the sledder loom Bioko. ; $proof$ = 
sent10 & sent4 -> int1: the sledder is a overbid.; int1 & sent8 -> hypothesis; __DISPROVED__