if the indexation happens the impatientness happens.
sent1: the spicateness occurs. sent2: if the scouting deliverer occurs and the scouting shaggymane does not occur then the emptying alga does not occur. sent3: if the metaphysicalness happens and the impatientness does not occur then the indexation does not occur. sent4: if the outweighing occurs the fact that the emptying impulsiveness does not occur hold. sent5: if that the flood does not occur is not incorrect the impatientness but not the indexation occurs. sent6: the emptying agglomerate does not occur if both the non-hollowness and the vespers occurs. sent7: that the windfall happens and the metaphysicalness occurs is brought about by the non-spicateness. sent8: the hollow does not occur but the vespers happens if the Chadianness happens. sent9: the wings does not occur and the biliousness does not occur if the emptying impulsiveness does not occur. sent10: if the lactogenicness occurs then not the flooding but the noninfectiousness occurs. sent11: that the indexation happens is triggered by that the metaphysicalness but not the impatientness occurs. sent12: the outweighing occurs if the fact that the outweighing does not occur and the transport does not occur is not true. sent13: the Chadianness happens. sent14: the management but not the emptying forget-me-not occurs. sent15: if the metaphysicalness occurs and the impatientness occurs then the indexation does not occur. sent16: if the pneumogastricness does not occur then the sniffing re does not occur but the lactogenicness occurs. sent17: if the emptying agglomerate does not occur and the biliousness does not occur then the fact that the pneumogastricness does not occur is not false.
void -> assump2: Let's assume that the impatientness does not occur.;
the windfall happens.
sent8 & sent13 -> int1: the non-hollowness and the vespers occurs.; sent6 & int1 -> int2: the emptying agglomerate does not occur.;
$hypothesis$ = if the indexation happens the impatientness happens. ; $context$ = sent1: the spicateness occurs. sent2: if the scouting deliverer occurs and the scouting shaggymane does not occur then the emptying alga does not occur. sent3: if the metaphysicalness happens and the impatientness does not occur then the indexation does not occur. sent4: if the outweighing occurs the fact that the emptying impulsiveness does not occur hold. sent5: if that the flood does not occur is not incorrect the impatientness but not the indexation occurs. sent6: the emptying agglomerate does not occur if both the non-hollowness and the vespers occurs. sent7: that the windfall happens and the metaphysicalness occurs is brought about by the non-spicateness. sent8: the hollow does not occur but the vespers happens if the Chadianness happens. sent9: the wings does not occur and the biliousness does not occur if the emptying impulsiveness does not occur. sent10: if the lactogenicness occurs then not the flooding but the noninfectiousness occurs. sent11: that the indexation happens is triggered by that the metaphysicalness but not the impatientness occurs. sent12: the outweighing occurs if the fact that the outweighing does not occur and the transport does not occur is not true. sent13: the Chadianness happens. sent14: the management but not the emptying forget-me-not occurs. sent15: if the metaphysicalness occurs and the impatientness occurs then the indexation does not occur. sent16: if the pneumogastricness does not occur then the sniffing re does not occur but the lactogenicness occurs. sent17: if the emptying agglomerate does not occur and the biliousness does not occur then the fact that the pneumogastricness does not occur is not false. ; $proof$ = 
void -> assump2: Let's assume that the impatientness does not occur.; __UNKNOWN__