if the preservative is not sentient either the chickadee is a kind of a Dietrich or it is secretory or both.
sent1: the judge does expense lunula and/or it is a Dietrich. sent2: the chickadee is carotid and is not a tebibit if it is a Dietrich. sent3: if something is not a Dietrich it is carotid and it is not a tebibit. sent4: that the preservative does press but it is not a Dietrich is true if the gulag is sentient.
sent3 -> int1: the chickadee is both carotid and not a tebibit if it is not a Dietrich.; void -> assump1: Let's assume that the chickadee is not a Dietrich.; int1 & assump1 -> int2: the chickadee is a kind of carotid thing that is not a kind of a tebibit.;
the preservative is a pressing but it is not a kind of a Dietrich.
$hypothesis$ = if the preservative is not sentient either the chickadee is a kind of a Dietrich or it is secretory or both. ; $context$ = sent1: the judge does expense lunula and/or it is a Dietrich. sent2: the chickadee is carotid and is not a tebibit if it is a Dietrich. sent3: if something is not a Dietrich it is carotid and it is not a tebibit. sent4: that the preservative does press but it is not a Dietrich is true if the gulag is sentient. ; $proof$ = 
sent3 -> int1: the chickadee is both carotid and not a tebibit if it is not a Dietrich.; void -> assump1: Let's assume that the chickadee is not a Dietrich.; int1 & assump1 -> int2: the chickadee is a kind of carotid thing that is not a kind of a tebibit.; __UNKNOWN__