the arteriogram is not a hollyhock.
sent1: if something does not bespangle suitability or it scalds yardarm or both it does not bespangle suitability. sent2: if the desmid is not a Microstomus the fact that it scalds desmid and does not scald yardarm is not right. sent3: that the circus does scald eudemon and it is a kind of a breakable is not true if the applecart does not stag. sent4: if there is something such that that it does scald desmid and does not scald yardarm is incorrect then the applecart scald yardarm. sent5: the cultivation is a slowness if there exists something such that that it is boskopoid and it does scald eudemon is incorrect. sent6: if something does not bespangle suitability the fact that it is not a kind of a stag hold. sent7: the sundress is a hollyhock. sent8: if the fact that something is a gum and/or boskopoid does not hold then it is not a kind of an incendiary. sent9: that something is boskopoid and it scalds eudemon does not hold if it is not a gum. sent10: that something is not a hollyhock but it is boskopoid is not true if it is a gum. sent11: if the fact that the cultivation does not scald eudemon hold the fact that the sundress is not a gum and it is not a slowness is wrong. sent12: that that the sundress is non-incendiary thing that is a kind of a briard does not hold is not incorrect. sent13: something is boskopoid and scalds eudemon. sent14: if that the sundress is not an incendiary but it is a briard does not hold it is not a gum. sent15: if that something is not a gum and it does not scald eudemon is wrong then it does scald eudemon. sent16: the desmid is not a Microstomus if there exists something such that the fact that it does destine horniness and/or it is not a Job is false. sent17: there exists something such that the fact that it destines horniness or it is not a kind of a Job or both is wrong. sent18: that if something is not a gum then it is a hollyhock and it is boskopoid is not false. sent19: that if the sundress is not the slowness then the sundress scalds eudemon and it is a gum hold.
sent14 & sent12 -> int1: the sundress is not a gum.; sent9 -> int2: the fact that the sundress is boskopoid and it scalds eudemon is not true if that it does not gum is not incorrect.; int1 & int2 -> int3: that the sundress is boskopoid and it does scald eudemon is not right.; int3 -> int4: there is something such that that it is boskopoid and scalds eudemon is not right.; int4 & sent5 -> int5: the cultivation is a slowness.;
the usurer does scald eudemon.
sent15 -> int6: if the fact that the usurer is not a gum and it does not scald eudemon is incorrect then it scald eudemon.;
$hypothesis$ = the arteriogram is not a hollyhock. ; $context$ = sent1: if something does not bespangle suitability or it scalds yardarm or both it does not bespangle suitability. sent2: if the desmid is not a Microstomus the fact that it scalds desmid and does not scald yardarm is not right. sent3: that the circus does scald eudemon and it is a kind of a breakable is not true if the applecart does not stag. sent4: if there is something such that that it does scald desmid and does not scald yardarm is incorrect then the applecart scald yardarm. sent5: the cultivation is a slowness if there exists something such that that it is boskopoid and it does scald eudemon is incorrect. sent6: if something does not bespangle suitability the fact that it is not a kind of a stag hold. sent7: the sundress is a hollyhock. sent8: if the fact that something is a gum and/or boskopoid does not hold then it is not a kind of an incendiary. sent9: that something is boskopoid and it scalds eudemon does not hold if it is not a gum. sent10: that something is not a hollyhock but it is boskopoid is not true if it is a gum. sent11: if the fact that the cultivation does not scald eudemon hold the fact that the sundress is not a gum and it is not a slowness is wrong. sent12: that that the sundress is non-incendiary thing that is a kind of a briard does not hold is not incorrect. sent13: something is boskopoid and scalds eudemon. sent14: if that the sundress is not an incendiary but it is a briard does not hold it is not a gum. sent15: if that something is not a gum and it does not scald eudemon is wrong then it does scald eudemon. sent16: the desmid is not a Microstomus if there exists something such that the fact that it does destine horniness and/or it is not a Job is false. sent17: there exists something such that the fact that it destines horniness or it is not a kind of a Job or both is wrong. sent18: that if something is not a gum then it is a hollyhock and it is boskopoid is not false. sent19: that if the sundress is not the slowness then the sundress scalds eudemon and it is a gum hold. ; $proof$ = 
sent14 & sent12 -> int1: the sundress is not a gum.; sent9 -> int2: the fact that the sundress is boskopoid and it scalds eudemon is not true if that it does not gum is not incorrect.; int1 & int2 -> int3: that the sundress is boskopoid and it does scald eudemon is not right.; int3 -> int4: there is something such that that it is boskopoid and scalds eudemon is not right.; int4 & sent5 -> int5: the cultivation is a slowness.; __UNKNOWN__