the bran does ogle audio and is amphoteric.
sent1: the bran does ogle audio if it does grasp margin. sent2: if something agitates the bran is a dace and not non-amphoteric. sent3: the Rus is a sousaphone. sent4: if there exists something such that it does not glaze blastoderm and is not a kind of a onrush then the Rus is not a sousaphone. sent5: there is something such that it is amphoteric. sent6: the ayah agitates.
void -> assump1: Let's assume that the bran does not grasp margin.; sent6 -> int1: the fact that something does agitate hold.; int1 & sent2 -> int2: the bran is a dace and it is not non-amphoteric.; int2 -> int3: the bran is amphoteric.;
$hypothesis$ = the bran does ogle audio and is amphoteric. ; $context$ = sent1: the bran does ogle audio if it does grasp margin. sent2: if something agitates the bran is a dace and not non-amphoteric. sent3: the Rus is a sousaphone. sent4: if there exists something such that it does not glaze blastoderm and is not a kind of a onrush then the Rus is not a sousaphone. sent5: there is something such that it is amphoteric. sent6: the ayah agitates. ; $proof$ = 
void -> assump1: Let's assume that the bran does not grasp margin.; sent6 -> int1: the fact that something does agitate hold.; int1 & sent2 -> int2: the bran is a dace and it is not non-amphoteric.; int2 -> int3: the bran is amphoteric.; __UNKNOWN__