there is something such that either it arouses Geryon or it is a alluvion or both.
sent1: something is a alluvion if it is scalic. sent2: the tipper barbs millimeter. sent3: there exists something such that that either it is a tilde or it is not undemocratic or both is false. sent4: the spectacle is a kind of a buttonhole and/or it is a kind of a Finn. sent5: if something overpowers subdivider it is argillaceous. sent6: that something is scalic is true if it is a theca. sent7: something is a tilde and/or it is not undemocratic. sent8: something admits if that it is not a kind of a theca and it is scalic is not correct. sent9: there exists something such that the fact that it is a tilde or undemocratic or both is wrong. sent10: there exists something such that it does not arouse Geryon. sent11: the tipper is a theca if there is something such that the fact that it is a tilde and/or it is not undemocratic does not hold.
sent3 & sent11 -> int1: the tipper is a theca.; sent6 -> int2: if the tipper is a theca it is scalic.; int1 & int2 -> int3: the tipper is scalic.; sent1 -> int4: if the tipper is scalic then it is a alluvion.; int3 & int4 -> int5: the tipper is a alluvion.; int5 -> int6: the tipper arouses Geryon and/or is a alluvion.; int6 -> hypothesis;
there is something such that it is a classical and/or admits.
sent8 -> int7: if the fact that the tipper is not a theca and is scalic is wrong it admits.;
$hypothesis$ = there is something such that either it arouses Geryon or it is a alluvion or both. ; $context$ = sent1: something is a alluvion if it is scalic. sent2: the tipper barbs millimeter. sent3: there exists something such that that either it is a tilde or it is not undemocratic or both is false. sent4: the spectacle is a kind of a buttonhole and/or it is a kind of a Finn. sent5: if something overpowers subdivider it is argillaceous. sent6: that something is scalic is true if it is a theca. sent7: something is a tilde and/or it is not undemocratic. sent8: something admits if that it is not a kind of a theca and it is scalic is not correct. sent9: there exists something such that the fact that it is a tilde or undemocratic or both is wrong. sent10: there exists something such that it does not arouse Geryon. sent11: the tipper is a theca if there is something such that the fact that it is a tilde and/or it is not undemocratic does not hold. ; $proof$ = 
sent3 & sent11 -> int1: the tipper is a theca.; sent6 -> int2: if the tipper is a theca it is scalic.; int1 & int2 -> int3: the tipper is scalic.; sent1 -> int4: if the tipper is scalic then it is a alluvion.; int3 & int4 -> int5: the tipper is a alluvion.; int5 -> int6: the tipper arouses Geryon and/or is a alluvion.; int6 -> hypothesis; __PROVED__