the wardrobe is a dynamics.
sent1: if that the morosoph is maximal thing that is not a Cariama is not true the stop is maximal. sent2: if the misogynist is a Cariama then the wardrobe is a dynamics. sent3: something does not excel morosoph and is a Styrofoam if it is not maximal. sent4: if the clementine is a Styrofoam the misogynist is retrograde. sent5: that the clementine is non-Linnaean thing that superannuates does not hold. sent6: the metamere is not a transshipment. sent7: the wardrobe is not a dynamics if that the misogynist is either not retrograde or dynamics or both is not right. sent8: that something is both maximal and not a Cariama is false if it superannuates. sent9: if the Kusan is Linnaean that the teiid does not superannuate and is not a nettle is incorrect. sent10: if the fact that something is non-Linnaean a transshipment is false then it is Linnaean. sent11: if something is retrograde then it is a Cariama. sent12: if the fact that the clementine is not Linnaean but it does superannuate is not right it is not maximal. sent13: something is not dynamics and it is not maximal if it retrogrades. sent14: the fact that either the misogynist is not retrograde or it is not a dynamics or both is incorrect if the stop is not maximal.
sent3 -> int1: if that the clementine is not maximal is right it does not excel morosoph and is a kind of a Styrofoam.; sent12 & sent5 -> int2: the clementine is not maximal.; int1 & int2 -> int3: the clementine does not excel morosoph and is a Styrofoam.; int3 -> int4: the clementine is a Styrofoam.; int4 & sent4 -> int5: the misogynist does retrograde.; sent11 -> int6: the misogynist is a Cariama if it is retrograde.; int5 & int6 -> int7: the misogynist is a Cariama.; int7 & sent2 -> hypothesis;
the combretum is not a kind of a dynamics.
sent13 -> int8: the combretum is a kind of non-dynamics thing that is not maximal if the fact that it is retrograde is correct.;
$hypothesis$ = the wardrobe is a dynamics. ; $context$ = sent1: if that the morosoph is maximal thing that is not a Cariama is not true the stop is maximal. sent2: if the misogynist is a Cariama then the wardrobe is a dynamics. sent3: something does not excel morosoph and is a Styrofoam if it is not maximal. sent4: if the clementine is a Styrofoam the misogynist is retrograde. sent5: that the clementine is non-Linnaean thing that superannuates does not hold. sent6: the metamere is not a transshipment. sent7: the wardrobe is not a dynamics if that the misogynist is either not retrograde or dynamics or both is not right. sent8: that something is both maximal and not a Cariama is false if it superannuates. sent9: if the Kusan is Linnaean that the teiid does not superannuate and is not a nettle is incorrect. sent10: if the fact that something is non-Linnaean a transshipment is false then it is Linnaean. sent11: if something is retrograde then it is a Cariama. sent12: if the fact that the clementine is not Linnaean but it does superannuate is not right it is not maximal. sent13: something is not dynamics and it is not maximal if it retrogrades. sent14: the fact that either the misogynist is not retrograde or it is not a dynamics or both is incorrect if the stop is not maximal. ; $proof$ = 
sent3 -> int1: if that the clementine is not maximal is right it does not excel morosoph and is a kind of a Styrofoam.; sent12 & sent5 -> int2: the clementine is not maximal.; int1 & int2 -> int3: the clementine does not excel morosoph and is a Styrofoam.; int3 -> int4: the clementine is a Styrofoam.; int4 & sent4 -> int5: the misogynist does retrograde.; sent11 -> int6: the misogynist is a Cariama if it is retrograde.; int5 & int6 -> int7: the misogynist is a Cariama.; int7 & sent2 -> hypothesis; __PROVED__