the epicardia is calcifugous.
sent1: the epicardia is true-false if it is a flagpole. sent2: the fact that something is a startling and/or it does not damage Mosan does not hold if it is not a Phaseolus. sent3: if something damages Mosan then that it fails and does not damage stranger is wrong. sent4: the vanadate is calcifugous if the fact that it is not gonadotropic and it is custard-like is not true. sent5: the jalapeno is not ample and/or it is not perceptive if the Delilah does not pay. sent6: that the epicardia is a kind of a flagpole and it is unsurmountable does not hold. sent7: the epicardia is not calcifugous and it is not true-false if that the roughage fails is not wrong. sent8: the Delilah does not pay. sent9: if the fact that the cupola does fail but it does not damage stranger is incorrect that the roughage does fail hold. sent10: something that is either not ample or not perceptive or both is not perceptive. sent11: the cupola damages Mosan if the fact that the martin is a kind of a startling and/or does not damages Mosan is wrong. sent12: the fact that the epicardia is not polytheistic but it is true-false is incorrect. sent13: the martin is not a burnup but it damages glycol if the abominator is a kind of a Andrew. sent14: if something is true-false then it is calcifugous. sent15: the epicardia is a kind of a Maoist. sent16: the trillium is configurational if the jalapeno is not a kind of a kohlrabi and it is not configurational. sent17: if something is not perceptive then it is not a kohlrabi and it is not configurational. sent18: that the epicardia is true-false hold if the fact that it is not a flagpole and it is unsurmountable is not correct. sent19: if something is not a burnup but it damages glycol it is not a kind of a Phaseolus. sent20: something is ceramics if it fasts. sent21: the abominator is a kind of a Andrew if that the fact that the northeast is not a propylthiouracil and is not some is false is correct. sent22: the fact that the bleu is a flagpole hold if it bethinks rorqual. sent23: that the epicardia is not a flagpole but it is unsurmountable does not hold.
sent18 & sent23 -> int1: the epicardia is true-false.; sent14 -> int2: the epicardia is calcifugous if it is true-false.; int1 & int2 -> hypothesis;
the epicardia is non-calcifugous.
sent3 -> int3: that the cupola does fail but it does not damage stranger is not right if that it damages Mosan is true.; sent2 -> int4: the fact that if the martin is not the Phaseolus then that the martin is a startling and/or it does not damage Mosan is not true hold.; sent19 -> int5: the fact that the martin is not a Phaseolus hold if it is not a burnup and does damage glycol.; sent17 -> int6: if the jalapeno is not perceptive then it is not a kind of a kohlrabi and is not configurational.; sent10 -> int7: if the jalapeno is not ample or not perceptive or both it is perceptive.; sent5 & sent8 -> int8: the jalapeno either is not ample or is not perceptive or both.; int7 & int8 -> int9: the jalapeno is not perceptive.; int6 & int9 -> int10: the jalapeno is not a kohlrabi and it is not configurational.; sent16 & int10 -> int11: the fact that the trillium is configurational is not false.; int11 -> int12: there is something such that it is configurational.;
$hypothesis$ = the epicardia is calcifugous. ; $context$ = sent1: the epicardia is true-false if it is a flagpole. sent2: the fact that something is a startling and/or it does not damage Mosan does not hold if it is not a Phaseolus. sent3: if something damages Mosan then that it fails and does not damage stranger is wrong. sent4: the vanadate is calcifugous if the fact that it is not gonadotropic and it is custard-like is not true. sent5: the jalapeno is not ample and/or it is not perceptive if the Delilah does not pay. sent6: that the epicardia is a kind of a flagpole and it is unsurmountable does not hold. sent7: the epicardia is not calcifugous and it is not true-false if that the roughage fails is not wrong. sent8: the Delilah does not pay. sent9: if the fact that the cupola does fail but it does not damage stranger is incorrect that the roughage does fail hold. sent10: something that is either not ample or not perceptive or both is not perceptive. sent11: the cupola damages Mosan if the fact that the martin is a kind of a startling and/or does not damages Mosan is wrong. sent12: the fact that the epicardia is not polytheistic but it is true-false is incorrect. sent13: the martin is not a burnup but it damages glycol if the abominator is a kind of a Andrew. sent14: if something is true-false then it is calcifugous. sent15: the epicardia is a kind of a Maoist. sent16: the trillium is configurational if the jalapeno is not a kind of a kohlrabi and it is not configurational. sent17: if something is not perceptive then it is not a kohlrabi and it is not configurational. sent18: that the epicardia is true-false hold if the fact that it is not a flagpole and it is unsurmountable is not correct. sent19: if something is not a burnup but it damages glycol it is not a kind of a Phaseolus. sent20: something is ceramics if it fasts. sent21: the abominator is a kind of a Andrew if that the fact that the northeast is not a propylthiouracil and is not some is false is correct. sent22: the fact that the bleu is a flagpole hold if it bethinks rorqual. sent23: that the epicardia is not a flagpole but it is unsurmountable does not hold. ; $proof$ = 
sent18 & sent23 -> int1: the epicardia is true-false.; sent14 -> int2: the epicardia is calcifugous if it is true-false.; int1 & int2 -> hypothesis; __PROVED__