the sackcloth is not bizonal.
sent1: The primness does melanize scyphus. sent2: if the bitterroot does not singularize malfeasant and/or is not archaistic then the sackcloth is not a dump. sent3: the scyphus singularizes malfeasant and is archaistic. sent4: if something is not a dump it is regenerating and not a subordinate. sent5: if there are non-archaistic things then the bitterroot does not singularize malfeasant and/or it is not non-archaistic. sent6: the scyphus is three-wheel. sent7: something that is non-regenerating and does not subordinate is not three-wheel. sent8: the scyphus does melanize primness. sent9: the amarelle is not archaistic. sent10: the crabs is bizonal thing that is a kind of a Tajik. sent11: if something that melanizes primness is three-wheel then the sackcloth is not bizonal. sent12: if something is not three-wheel then either it does melanize primness or it is not non-bizonal or both. sent13: there is something such that it is three-wheel. sent14: the scyphus does not dump if it singularizes malfeasant. sent15: the packrat melanizes primness if the scyphus is bizonal.
sent8 & sent6 -> int1: the scyphus melanizes primness and it is three-wheel.; int1 -> int2: that something does melanize primness and is three-wheel is not false.; int2 & sent11 -> hypothesis;
the packrat is three-wheel.
sent4 -> int3: the fact that the sackcloth regenerates and is not subordinate is not false if it is not a dump.; sent9 -> int4: there exists something such that it is not archaistic.; int4 & sent5 -> int5: the bitterroot does not singularize malfeasant and/or it is not archaistic.; sent2 & int5 -> int6: the sackcloth is not a dump.; int3 & int6 -> int7: the sackcloth is regenerating but it does not subordinate.; int7 -> int8: there exists something such that it is a kind of regenerating thing that is not a subordinate.;
$hypothesis$ = the sackcloth is not bizonal. ; $context$ = sent1: The primness does melanize scyphus. sent2: if the bitterroot does not singularize malfeasant and/or is not archaistic then the sackcloth is not a dump. sent3: the scyphus singularizes malfeasant and is archaistic. sent4: if something is not a dump it is regenerating and not a subordinate. sent5: if there are non-archaistic things then the bitterroot does not singularize malfeasant and/or it is not non-archaistic. sent6: the scyphus is three-wheel. sent7: something that is non-regenerating and does not subordinate is not three-wheel. sent8: the scyphus does melanize primness. sent9: the amarelle is not archaistic. sent10: the crabs is bizonal thing that is a kind of a Tajik. sent11: if something that melanizes primness is three-wheel then the sackcloth is not bizonal. sent12: if something is not three-wheel then either it does melanize primness or it is not non-bizonal or both. sent13: there is something such that it is three-wheel. sent14: the scyphus does not dump if it singularizes malfeasant. sent15: the packrat melanizes primness if the scyphus is bizonal. ; $proof$ = 
sent8 & sent6 -> int1: the scyphus melanizes primness and it is three-wheel.; int1 -> int2: that something does melanize primness and is three-wheel is not false.; int2 & sent11 -> hypothesis; __PROVED__