there is something such that if it is not a rhombohedron and it is not non-disjunct it is aleuronic.
sent1: something is aleuronic if it is both a rhombohedron and disjunct. sent2: if something is not a cheerleader but it is waxen it is disjunct. sent3: if something that is not a kind of a rhombohedron is disjunct it is aleuronic. sent4: there exists something such that if it is eusporangiate and it is neurological then it is a annualry.
sent3 -> int1: the spermatophyte is aleuronic if it is not a kind of a rhombohedron and is disjunct.; int1 -> hypothesis;
the hovercraft is disjunct if it is not a cheerleader and it is waxen.
sent2 -> hypothesis;
$hypothesis$ = there is something such that if it is not a rhombohedron and it is not non-disjunct it is aleuronic. ; $context$ = sent1: something is aleuronic if it is both a rhombohedron and disjunct. sent2: if something is not a cheerleader but it is waxen it is disjunct. sent3: if something that is not a kind of a rhombohedron is disjunct it is aleuronic. sent4: there exists something such that if it is eusporangiate and it is neurological then it is a annualry. ; $proof$ = 
sent3 -> int1: the spermatophyte is aleuronic if it is not a kind of a rhombohedron and is disjunct.; int1 -> hypothesis; __PROVED__