the bucket is not a saddleback.
sent1: the bucket is not a kind of a saddleback if it is a kind of strategics thing that is hyperbolic. sent2: if something that is not Burundi does pink Alger then it is not a kind of a poler. sent3: if something is a cymbid and it is a saddleback it is not hyperbolic. sent4: if the bucket is a saddleback and it is a cymbid it is not strategics. sent5: if something that is not a cymbid is strategics it is not hyperbolic. sent6: if the bucket is not a saddleback but it is strategics then it is not hyperbolic. sent7: the locum does not name madnep. sent8: if something that is not a saddleback is hyperbolic it is not a cymbid. sent9: the babbler does not surpass but it torments informant. sent10: everything is not a cymbid and it is strategics. sent11: the bucket is not a saddleback if that the locum is not hyperbolic is right. sent12: the bucket does not corrupt. sent13: something is not a saddleback if it is not a cymbid but hyperbolic. sent14: if the locum is not a saddleback but it is a kind of a cymbid then it is not strategics.
sent10 -> int1: the locum is not a kind of a cymbid but it is strategics.; sent5 -> int2: if the locum is not a kind of a cymbid but it is strategics it is not hyperbolic.; int1 & int2 -> int3: the locum is not hyperbolic.; int3 & sent11 -> hypothesis;
the homosexual is not a cymbid.
sent8 -> int4: if the homosexual is not a saddleback but it is hyperbolic it is not a cymbid.;
$hypothesis$ = the bucket is not a saddleback. ; $context$ = sent1: the bucket is not a kind of a saddleback if it is a kind of strategics thing that is hyperbolic. sent2: if something that is not Burundi does pink Alger then it is not a kind of a poler. sent3: if something is a cymbid and it is a saddleback it is not hyperbolic. sent4: if the bucket is a saddleback and it is a cymbid it is not strategics. sent5: if something that is not a cymbid is strategics it is not hyperbolic. sent6: if the bucket is not a saddleback but it is strategics then it is not hyperbolic. sent7: the locum does not name madnep. sent8: if something that is not a saddleback is hyperbolic it is not a cymbid. sent9: the babbler does not surpass but it torments informant. sent10: everything is not a cymbid and it is strategics. sent11: the bucket is not a saddleback if that the locum is not hyperbolic is right. sent12: the bucket does not corrupt. sent13: something is not a saddleback if it is not a cymbid but hyperbolic. sent14: if the locum is not a saddleback but it is a kind of a cymbid then it is not strategics. ; $proof$ = 
sent10 -> int1: the locum is not a kind of a cymbid but it is strategics.; sent5 -> int2: if the locum is not a kind of a cymbid but it is strategics it is not hyperbolic.; int1 & int2 -> int3: the locum is not hyperbolic.; int3 & sent11 -> hypothesis; __PROVED__