the fact that there exists something such that if it is a second and it is not a kind of a frieze it is archaistic is not true.
sent1: there exists something such that if it is both not non-second and a frieze it is archaistic. sent2: that the virginal is archaistic is right if it is a second and it is not a kind of a frieze. sent3: something that is a Stoic and is not nascent is second. sent4: if the virginal is a second that is a frieze it is archaistic. sent5: there is something such that if it is siliceous and it is not a kind of a breakfast then it does stigmatize triviality.
sent2 -> hypothesis;
the virginal is not non-second if it is Stoic and not nascent.
sent3 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it is a second and it is not a kind of a frieze it is archaistic is not true. ; $context$ = sent1: there exists something such that if it is both not non-second and a frieze it is archaistic. sent2: that the virginal is archaistic is right if it is a second and it is not a kind of a frieze. sent3: something that is a Stoic and is not nascent is second. sent4: if the virginal is a second that is a frieze it is archaistic. sent5: there is something such that if it is siliceous and it is not a kind of a breakfast then it does stigmatize triviality. ; $proof$ = 
sent2 -> hypothesis; __DISPROVED__