there is something such that if either it is rhythmical or it is not a gloom or both then it is a kind of a Eburophyton.
sent1: there is something such that if it is non-systematics it is pyloric. sent2: if the fireplug is not a gloom it is a kind of a Eburophyton. sent3: the fireplug is a Eburophyton if it is rhythmical and/or is not a gloom. sent4: something that does shaft superstructure or does not shaft breath or both is cellulosid.
sent3 -> hypothesis;
that there is something such that if it shafts superstructure and/or it does not shaft breath it is cellulosid is not false.
sent4 -> int1: if the crenelation shafts superstructure and/or it does not shaft breath then it is cellulosid.; int1 -> hypothesis;
$hypothesis$ = there is something such that if either it is rhythmical or it is not a gloom or both then it is a kind of a Eburophyton. ; $context$ = sent1: there is something such that if it is non-systematics it is pyloric. sent2: if the fireplug is not a gloom it is a kind of a Eburophyton. sent3: the fireplug is a Eburophyton if it is rhythmical and/or is not a gloom. sent4: something that does shaft superstructure or does not shaft breath or both is cellulosid. ; $proof$ = 
sent3 -> hypothesis; __PROVED__