the Nicaraguan is front and is a kind of a heulandite.
sent1: that the Nicaraguan is not non-anaphasic and is a heulandite does not hold. sent2: the luminescence is not anaphasic but it is an adjudication. sent3: that the seasonal is an estate and a speculativeness does not hold. sent4: the luminescence is a kind of an adjudication. sent5: that the troika is not weak is right if the seasonal is not a speculativeness. sent6: the luminescence does glaze thirteenth if the fact that it is an adjudication and does not glaze thirteenth does not hold. sent7: the seasonal is an adjudication if the fact that it is a kind of a speculativeness and is not a kind of an adjudication is not correct. sent8: the Nicaraguan is a speculativeness. sent9: if there exists something such that it is spectrographic or is not weak or both then the flooring is not a front. sent10: the Nicaraguan is a heulandite if the fact that it is a kind of an estate and it is not a heulandite does not hold. sent11: the fact that the Nicaraguan is an estate and a heulandite does not hold. sent12: if something is non-anaphasic thing that is an adjudication the seasonal is not a speculativeness. sent13: if the troika is not a speculativeness the seasonal is not weak. sent14: there is something such that it is weak and/or is a heulandite. sent15: there is something such that it is both an estate and anaphasic. sent16: the Nicaraguan does not glaze thirteenth if the fact that the flooring does not front is correct. sent17: the fact that the Nicaraguan is a kind of an estate that is not a heulandite is not correct. sent18: the luminescence is a kind of an adjudication that is a kind of a speculativeness. sent19: there exists something such that it is not a front and it is a speculativeness. sent20: the monkey is not a kind of an adjudication. sent21: the fact that the troika is a speculativeness hold. sent22: there exists something such that the fact that it is not anaphasic hold. sent23: there exists something such that it is spectrographic and/or it is weak.
sent2 -> int1: something is not anaphasic but it is an adjudication.; int1 & sent12 -> int2: the seasonal is not a kind of a speculativeness.; int2 & sent5 -> int3: the troika is not weak.; int3 -> int4: the troika is spectrographic and/or not weak.; int4 -> int5: something is either spectrographic or not weak or both.; int5 & sent9 -> int6: the flooring is not a front.; sent10 & sent17 -> int7: the Nicaraguan is a heulandite.;
$hypothesis$ = the Nicaraguan is front and is a kind of a heulandite. ; $context$ = sent1: that the Nicaraguan is not non-anaphasic and is a heulandite does not hold. sent2: the luminescence is not anaphasic but it is an adjudication. sent3: that the seasonal is an estate and a speculativeness does not hold. sent4: the luminescence is a kind of an adjudication. sent5: that the troika is not weak is right if the seasonal is not a speculativeness. sent6: the luminescence does glaze thirteenth if the fact that it is an adjudication and does not glaze thirteenth does not hold. sent7: the seasonal is an adjudication if the fact that it is a kind of a speculativeness and is not a kind of an adjudication is not correct. sent8: the Nicaraguan is a speculativeness. sent9: if there exists something such that it is spectrographic or is not weak or both then the flooring is not a front. sent10: the Nicaraguan is a heulandite if the fact that it is a kind of an estate and it is not a heulandite does not hold. sent11: the fact that the Nicaraguan is an estate and a heulandite does not hold. sent12: if something is non-anaphasic thing that is an adjudication the seasonal is not a speculativeness. sent13: if the troika is not a speculativeness the seasonal is not weak. sent14: there is something such that it is weak and/or is a heulandite. sent15: there is something such that it is both an estate and anaphasic. sent16: the Nicaraguan does not glaze thirteenth if the fact that the flooring does not front is correct. sent17: the fact that the Nicaraguan is a kind of an estate that is not a heulandite is not correct. sent18: the luminescence is a kind of an adjudication that is a kind of a speculativeness. sent19: there exists something such that it is not a front and it is a speculativeness. sent20: the monkey is not a kind of an adjudication. sent21: the fact that the troika is a speculativeness hold. sent22: there exists something such that the fact that it is not anaphasic hold. sent23: there exists something such that it is spectrographic and/or it is weak. ; $proof$ = 
sent2 -> int1: something is not anaphasic but it is an adjudication.; int1 & sent12 -> int2: the seasonal is not a kind of a speculativeness.; int2 & sent5 -> int3: the troika is not weak.; int3 -> int4: the troika is spectrographic and/or not weak.; int4 -> int5: something is either spectrographic or not weak or both.; int5 & sent9 -> int6: the flooring is not a front.; sent10 & sent17 -> int7: the Nicaraguan is a heulandite.; __UNKNOWN__