the Botox is a julep.
sent1: if there exists something such that it does gesticulate Isis and is a polish the Botox is a julep. sent2: the autogiro polishes. sent3: if that something is a phyllode but it is not a Alexandrian is incorrect then it is a Alexandrian. sent4: the saponification is not a julep and it is not amphitheatric. sent5: the fact that the infielder is a kind of a phyllode and is not Alexandrian is wrong. sent6: something is a fortuitousness and it is hyperbolic if it does not gesticulate Isis. sent7: the fact that the rotisserie beckons buspirone is not false if there is something such that it is a Alexandrian. sent8: That the Isis gesticulates autogiro is correct. sent9: something is not a julep if it does not gesticulate Isis and is a kind of a polish. sent10: if the Bovril is not unacquisitive the saponification either is anaesthetic or is amphitheatric or both. sent11: that the autogiro gesticulates Isis is correct. sent12: the fact that the Botox gesticulates Isis and it is a polish is not true if there is something such that it is not a kind of a julep. sent13: if the autogiro is amphitheatric then the Botox does not gesticulate Isis and is a polish.
sent11 & sent2 -> int1: the autogiro gesticulates Isis and polishes.; int1 -> int2: there exists something such that it gesticulates Isis and polishes.; int2 & sent1 -> hypothesis;
the Botox is not a julep.
sent9 -> int3: the Botox is not a julep if it does not gesticulate Isis and it is a polish.; sent3 -> int4: the infielder is not non-Alexandrian if the fact that it is a phyllode and it is not a non-Alexandrian is not correct.; int4 & sent5 -> int5: the infielder is a Alexandrian.; int5 -> int6: something is Alexandrian.; int6 & sent7 -> int7: the rotisserie does beckon buspirone.; int7 -> int8: there exists something such that it beckons buspirone.;
$hypothesis$ = the Botox is a julep. ; $context$ = sent1: if there exists something such that it does gesticulate Isis and is a polish the Botox is a julep. sent2: the autogiro polishes. sent3: if that something is a phyllode but it is not a Alexandrian is incorrect then it is a Alexandrian. sent4: the saponification is not a julep and it is not amphitheatric. sent5: the fact that the infielder is a kind of a phyllode and is not Alexandrian is wrong. sent6: something is a fortuitousness and it is hyperbolic if it does not gesticulate Isis. sent7: the fact that the rotisserie beckons buspirone is not false if there is something such that it is a Alexandrian. sent8: That the Isis gesticulates autogiro is correct. sent9: something is not a julep if it does not gesticulate Isis and is a kind of a polish. sent10: if the Bovril is not unacquisitive the saponification either is anaesthetic or is amphitheatric or both. sent11: that the autogiro gesticulates Isis is correct. sent12: the fact that the Botox gesticulates Isis and it is a polish is not true if there is something such that it is not a kind of a julep. sent13: if the autogiro is amphitheatric then the Botox does not gesticulate Isis and is a polish. ; $proof$ = 
sent11 & sent2 -> int1: the autogiro gesticulates Isis and polishes.; int1 -> int2: there exists something such that it gesticulates Isis and polishes.; int2 & sent1 -> hypothesis; __PROVED__