the forty-five is a kind of a microflora.
sent1: if something does spoil flotation then that it is a microflora is true. sent2: the tepee is not noncommercial if that the cowhide does spoil tepee and is not amphitheatric is false. sent3: if the goldcrest is national then the osmund is archegonial. sent4: the osmund surfaces widgeon if the tepee does straighten. sent5: the goldcrest is a national if the forte is not a national. sent6: if that the cowhide does not hint is true the forty-five is a kind of non-noncommercial thing that does not straighten. sent7: if the fact that something is a kind of non-national thing that does not debrief hysterectomy does not hold then it does not spoil flotation. sent8: the fact that the cowhide spoils tepee and is not amphitheatric is wrong. sent9: there is something such that the fact that it is not an edger and does not debrief hysterectomy is false. sent10: something that is not noncommercial either straightens or is a hint or both. sent11: something is not a hint if it does surface widgeon. sent12: that something is not national and it does not debrief hysterectomy is incorrect if it is an edger. sent13: if the osmund does not spoil flotation then the fact that the tepee is not non-archegonial and does not surface widgeon is wrong. sent14: if that the tepee is archegonial but it does not surface widgeon is not right then the cowhide surface widgeon. sent15: the forte is not a national if there is something such that the fact that the fact that it is not an edger and does not debrief hysterectomy is correct is incorrect. sent16: the forty-five spoils flotation if there is something such that it is a kind of archegonial thing that does surface widgeon. sent17: the osmund surfaces widgeon if the tepee hints. sent18: if something is not noncommercial and it does not straighten then it is not a microflora.
sent2 & sent8 -> int1: the tepee is not noncommercial.; sent10 -> int2: if that the tepee is not noncommercial hold then it does straighten and/or it does hint.; int1 & int2 -> int3: the tepee straightens and/or hints.; int3 & sent4 & sent17 -> int4: the osmund surfaces widgeon.; sent9 & sent15 -> int5: the forte is not a national.; sent5 & int5 -> int6: the goldcrest is national.; sent3 & int6 -> int7: the osmund is archegonial.; int4 & int7 -> int8: the osmund is archegonial and it does surface widgeon.; int8 -> int9: there is something such that it is archegonial and it surfaces widgeon.; int9 & sent16 -> int10: the fact that the forty-five does spoil flotation is correct.; sent1 -> int11: if the forty-five spoils flotation then it is a microflora.; int10 & int11 -> hypothesis;
the forty-five is not a kind of a microflora.
sent18 -> int12: if the forty-five is not noncommercial and does not straighten it is not a microflora.; sent11 -> int13: if the cowhide surfaces widgeon it is not a kind of a hint.; sent7 -> int14: if that the fact that the osmund is non-national thing that does not debrief hysterectomy is incorrect hold it does not spoil flotation.; sent12 -> int15: that the osmund is not a national and it does not debrief hysterectomy is not correct if it is an edger.;
$hypothesis$ = the forty-five is a kind of a microflora. ; $context$ = sent1: if something does spoil flotation then that it is a microflora is true. sent2: the tepee is not noncommercial if that the cowhide does spoil tepee and is not amphitheatric is false. sent3: if the goldcrest is national then the osmund is archegonial. sent4: the osmund surfaces widgeon if the tepee does straighten. sent5: the goldcrest is a national if the forte is not a national. sent6: if that the cowhide does not hint is true the forty-five is a kind of non-noncommercial thing that does not straighten. sent7: if the fact that something is a kind of non-national thing that does not debrief hysterectomy does not hold then it does not spoil flotation. sent8: the fact that the cowhide spoils tepee and is not amphitheatric is wrong. sent9: there is something such that the fact that it is not an edger and does not debrief hysterectomy is false. sent10: something that is not noncommercial either straightens or is a hint or both. sent11: something is not a hint if it does surface widgeon. sent12: that something is not national and it does not debrief hysterectomy is incorrect if it is an edger. sent13: if the osmund does not spoil flotation then the fact that the tepee is not non-archegonial and does not surface widgeon is wrong. sent14: if that the tepee is archegonial but it does not surface widgeon is not right then the cowhide surface widgeon. sent15: the forte is not a national if there is something such that the fact that the fact that it is not an edger and does not debrief hysterectomy is correct is incorrect. sent16: the forty-five spoils flotation if there is something such that it is a kind of archegonial thing that does surface widgeon. sent17: the osmund surfaces widgeon if the tepee hints. sent18: if something is not noncommercial and it does not straighten then it is not a microflora. ; $proof$ = 
sent2 & sent8 -> int1: the tepee is not noncommercial.; sent10 -> int2: if that the tepee is not noncommercial hold then it does straighten and/or it does hint.; int1 & int2 -> int3: the tepee straightens and/or hints.; int3 & sent4 & sent17 -> int4: the osmund surfaces widgeon.; sent9 & sent15 -> int5: the forte is not a national.; sent5 & int5 -> int6: the goldcrest is national.; sent3 & int6 -> int7: the osmund is archegonial.; int4 & int7 -> int8: the osmund is archegonial and it does surface widgeon.; int8 -> int9: there is something such that it is archegonial and it surfaces widgeon.; int9 & sent16 -> int10: the fact that the forty-five does spoil flotation is correct.; sent1 -> int11: if the forty-five spoils flotation then it is a microflora.; int10 & int11 -> hypothesis; __PROVED__