the flotsam is Gauguinesque and it is bacteriolytic.
sent1: something is overt. sent2: if there is something such that it is not a kind of a ague and/or is non-overt then the catapult is a string. sent3: the flotsam is bacteriolytic. sent4: there exists something such that it is not selfish but a berm. sent5: the abbess is not atherosclerotic if it is an apology. sent6: something is Gauguinesque if it is incoherent. sent7: something is not a string if it is a malleability and is not a high-low. sent8: the bluehead is a malleability if the fact that it is a high-low is right. sent9: if the alveolus is a high-low the bluehead is overt. sent10: if something is not a kind of a string that it is Gauguinesque and it is bacteriolytic is false. sent11: the alveolus is a kind of a ague. sent12: the flotsam is a malleability and is not a kind of a high-low if the catapult is not incoherent. sent13: if the bluehead does not page Nielsen then the catapult is not a Shakespearian and is not incoherent. sent14: the bluehead is a high-low if the catapult is a string. sent15: if a non-selfish thing is a berm the abbess is an apology. sent16: if there exists something such that that it is either not a ague or not overt or both is not right then the flotsam is not coherent.
void -> assump1: Let's assume that the alveolus is not a kind of a ague and/or it is not overt.; assump1 -> int1: there is something such that it either is not a kind of a ague or is not overt or both.; int1 & sent2 -> int2: the catapult strings.; int2 & sent14 -> int3: the bluehead is a high-low.; int3 & sent8 -> int4: that the bluehead is a malleability is not wrong.; sent6 -> int5: if the flotsam is incoherent then it is Gauguinesque.;
the fact that the flotsam is Gauguinesque and it is bacteriolytic is incorrect.
sent10 -> int6: that the flotsam is Gauguinesque and it is bacteriolytic does not hold if it is not a string.; sent7 -> int7: the fact that the flotsam is not a kind of a string is correct if it is a malleability but not a high-low.; sent4 & sent15 -> int8: the abbess is an apology.; sent5 & int8 -> int9: the abbess is not atherosclerotic.;
$hypothesis$ = the flotsam is Gauguinesque and it is bacteriolytic. ; $context$ = sent1: something is overt. sent2: if there is something such that it is not a kind of a ague and/or is non-overt then the catapult is a string. sent3: the flotsam is bacteriolytic. sent4: there exists something such that it is not selfish but a berm. sent5: the abbess is not atherosclerotic if it is an apology. sent6: something is Gauguinesque if it is incoherent. sent7: something is not a string if it is a malleability and is not a high-low. sent8: the bluehead is a malleability if the fact that it is a high-low is right. sent9: if the alveolus is a high-low the bluehead is overt. sent10: if something is not a kind of a string that it is Gauguinesque and it is bacteriolytic is false. sent11: the alveolus is a kind of a ague. sent12: the flotsam is a malleability and is not a kind of a high-low if the catapult is not incoherent. sent13: if the bluehead does not page Nielsen then the catapult is not a Shakespearian and is not incoherent. sent14: the bluehead is a high-low if the catapult is a string. sent15: if a non-selfish thing is a berm the abbess is an apology. sent16: if there exists something such that that it is either not a ague or not overt or both is not right then the flotsam is not coherent. ; $proof$ = 
void -> assump1: Let's assume that the alveolus is not a kind of a ague and/or it is not overt.; assump1 -> int1: there is something such that it either is not a kind of a ague or is not overt or both.; int1 & sent2 -> int2: the catapult strings.; int2 & sent14 -> int3: the bluehead is a high-low.; int3 & sent8 -> int4: that the bluehead is a malleability is not wrong.; sent6 -> int5: if the flotsam is incoherent then it is Gauguinesque.; __UNKNOWN__