if the edaphosaurus is not hypophyseal then that the pilferer is not a place and does not assail does not hold.
sent1: if the fell is not hypophyseal it is not a place. sent2: something does not assail if it is not a frump and it is a Anshar. sent3: that the edaphosaurus is non-hypophyseal thing that assails is false. sent4: if the fact that the edaphosaurus is not hypophyseal but it does snow edaphosaurus does not hold then the fell is not hypophyseal. sent5: the fact that something is a kind of non-hypophyseal thing that does snow edaphosaurus is false if it does not assail. sent6: if that something obsesses and is inorganic is not right then it is not a place. sent7: if the edaphosaurus is non-hypophyseal that it does obsess and it is inorganic does not hold. sent8: if the edaphosaurus is not a kind of a place that the pilferer does not obsess and is hypophyseal is wrong. sent9: if the edaphosaurus is not a place that the pilferer does not place and does not assail is incorrect.
void -> assump1: Let's assume that the edaphosaurus is not hypophyseal.; sent7 & assump1 -> int1: the fact that the edaphosaurus does obsess and it is inorganic does not hold.; sent6 -> int2: the edaphosaurus is not a place if that it obsesses and it is inorganic does not hold.; int1 & int2 -> int3: the edaphosaurus is not a place.; int3 & sent9 -> int4: that the pilferer is not a place and does not assail does not hold.; [assump1] & int4 -> hypothesis;
the fell does not place.
sent5 -> int5: if the edaphosaurus does not assail then that it is not hypophyseal and it does snow edaphosaurus is not right.; sent2 -> int6: if the edaphosaurus is both not a frump and a Anshar it does not assail.;
$hypothesis$ = if the edaphosaurus is not hypophyseal then that the pilferer is not a place and does not assail does not hold. ; $context$ = sent1: if the fell is not hypophyseal it is not a place. sent2: something does not assail if it is not a frump and it is a Anshar. sent3: that the edaphosaurus is non-hypophyseal thing that assails is false. sent4: if the fact that the edaphosaurus is not hypophyseal but it does snow edaphosaurus does not hold then the fell is not hypophyseal. sent5: the fact that something is a kind of non-hypophyseal thing that does snow edaphosaurus is false if it does not assail. sent6: if that something obsesses and is inorganic is not right then it is not a place. sent7: if the edaphosaurus is non-hypophyseal that it does obsess and it is inorganic does not hold. sent8: if the edaphosaurus is not a kind of a place that the pilferer does not obsess and is hypophyseal is wrong. sent9: if the edaphosaurus is not a place that the pilferer does not place and does not assail is incorrect. ; $proof$ = 
void -> assump1: Let's assume that the edaphosaurus is not hypophyseal.; sent7 & assump1 -> int1: the fact that the edaphosaurus does obsess and it is inorganic does not hold.; sent6 -> int2: the edaphosaurus is not a place if that it obsesses and it is inorganic does not hold.; int1 & int2 -> int3: the edaphosaurus is not a place.; int3 & sent9 -> int4: that the pilferer is not a place and does not assail does not hold.; [assump1] & int4 -> hypothesis; __PROVED__