if the beefcake is a eschatology the stoop does not permeate and is not a Heller.
sent1: if there is something such that the fact that it does permeate and is not a Heller is wrong then the beefcake is not a eschatology.
void -> assump2: Let's assume that the fact that the fact that the stoop does not permeate and it is not a kind of a Heller does not hold is true.; assump2 -> int1: there is something such that the fact that it does not permeate and is not a Heller is false.;
$hypothesis$ = if the beefcake is a eschatology the stoop does not permeate and is not a Heller. ; $context$ = sent1: if there is something such that the fact that it does permeate and is not a Heller is wrong then the beefcake is not a eschatology. ; $proof$ = 
void -> assump2: Let's assume that the fact that the fact that the stoop does not permeate and it is not a kind of a Heller does not hold is true.; assump2 -> int1: there is something such that the fact that it does not permeate and is not a Heller is false.; __UNKNOWN__