the propositus does fragment hyacinth and is not endoergic.
sent1: there is something such that it convoys citrus. sent2: that the abrasion is endoergic is correct if a carboniferous thing does convoy citrus. sent3: the rivulus is carboniferous. sent4: the fact that the propositus does fragment hyacinth and is not endoergic is not correct if the rivulus is not carboniferous. sent5: the propositus does fragment hyacinth but it is non-endoergic if the abrasion is non-endoergic. sent6: the rivulus convoys citrus. sent7: The citrus convoys rivulus. sent8: the propositus is not endoergic. sent9: if something that does fragment hyacinth does convoy citrus then the propositus is endoergic. sent10: the devolution convoys key but it is not a kind of a compromising. sent11: something is carboniferous. sent12: the inlay is endoergic. sent13: if the abrasion is endoergic the propositus is not endoergic.
sent3 & sent6 -> int1: the rivulus is carboniferous and convoys citrus.; int1 -> int2: there exists something such that it is carboniferous and it convoys citrus.; int2 & sent2 -> int3: the abrasion is endoergic.; sent5 & int3 -> hypothesis;
the fact that the propositus fragments hyacinth and is not endoergic is false.
$hypothesis$ = the propositus does fragment hyacinth and is not endoergic. ; $context$ = sent1: there is something such that it convoys citrus. sent2: that the abrasion is endoergic is correct if a carboniferous thing does convoy citrus. sent3: the rivulus is carboniferous. sent4: the fact that the propositus does fragment hyacinth and is not endoergic is not correct if the rivulus is not carboniferous. sent5: the propositus does fragment hyacinth but it is non-endoergic if the abrasion is non-endoergic. sent6: the rivulus convoys citrus. sent7: The citrus convoys rivulus. sent8: the propositus is not endoergic. sent9: if something that does fragment hyacinth does convoy citrus then the propositus is endoergic. sent10: the devolution convoys key but it is not a kind of a compromising. sent11: something is carboniferous. sent12: the inlay is endoergic. sent13: if the abrasion is endoergic the propositus is not endoergic. ; $proof$ = 
sent3 & sent6 -> int1: the rivulus is carboniferous and convoys citrus.; int1 -> int2: there exists something such that it is carboniferous and it convoys citrus.; int2 & sent2 -> int3: the abrasion is endoergic.; sent5 & int3 -> hypothesis; __PROVED__