if the terrier is a machmeter then the Bercy is a bypass.
sent1: the terrier is a kind of a machmeter if the hydrazoite does not articulate flavorlessness. sent2: the Bercy is epistemic if the fact that the hydrazoite does not articulate flavorlessness and is epistemic is false. sent3: the hydrazoite is not a kind of a bypass if the fact that the terrier is a machmeter and/or does not toilet-train Bercy is not true. sent4: the fact that something does not articulate flavorlessness and is not non-epistemic is not correct if it does not bypass. sent5: if the Bercy is not a bypass the hydrazoite does not articulate flavorlessness. sent6: if that the hydrazoite does not articulate flavorlessness is not incorrect then the terrier is not a machmeter. sent7: the manor does not articulate flavorlessness. sent8: the terrier does not articulate flavorlessness. sent9: the terrier does not articulate hydrazoite.
void -> assump1: Let's assume that the terrier is a machmeter.; void -> assump2: Let's assume that the Bercy does not bypass.; sent5 & assump2 -> int1: the hydrazoite does not articulate flavorlessness.; sent6 & int1 -> int2: the terrier is not a machmeter.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the Bercy bypasses.; [assump1] & int4 -> hypothesis;
the Bercy is epistemic.
sent4 -> int5: the fact that the hydrazoite does not articulate flavorlessness and is epistemic is false if it is not a bypass.;
$hypothesis$ = if the terrier is a machmeter then the Bercy is a bypass. ; $context$ = sent1: the terrier is a kind of a machmeter if the hydrazoite does not articulate flavorlessness. sent2: the Bercy is epistemic if the fact that the hydrazoite does not articulate flavorlessness and is epistemic is false. sent3: the hydrazoite is not a kind of a bypass if the fact that the terrier is a machmeter and/or does not toilet-train Bercy is not true. sent4: the fact that something does not articulate flavorlessness and is not non-epistemic is not correct if it does not bypass. sent5: if the Bercy is not a bypass the hydrazoite does not articulate flavorlessness. sent6: if that the hydrazoite does not articulate flavorlessness is not incorrect then the terrier is not a machmeter. sent7: the manor does not articulate flavorlessness. sent8: the terrier does not articulate flavorlessness. sent9: the terrier does not articulate hydrazoite. ; $proof$ = 
void -> assump1: Let's assume that the terrier is a machmeter.; void -> assump2: Let's assume that the Bercy does not bypass.; sent5 & assump2 -> int1: the hydrazoite does not articulate flavorlessness.; sent6 & int1 -> int2: the terrier is not a machmeter.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the Bercy bypasses.; [assump1] & int4 -> hypothesis; __PROVED__