if that the celibate does not suggest insufflation and perseverates glowworm is false then the ammonium does not resize.
sent1: if that the celibate does not suggest insufflation but it does perseverate glowworm does not hold it is not gnostic. sent2: a gnostic thing that is a recrimination does not resize. sent3: the ammonium does not resize if that the celibate does not perseverate glowworm is correct. sent4: if the celibate does not suggest insufflation but it does perseverate glowworm it is not gnostic.
void -> assump1: Let's assume that that the celibate does not suggest insufflation but it perseverates glowworm is incorrect.; sent1 & assump1 -> int1: the celibate is not gnostic.; sent2 -> int2: if the ammonium is gnostic thing that is a kind of a recrimination it does not resize.;
$hypothesis$ = if that the celibate does not suggest insufflation and perseverates glowworm is false then the ammonium does not resize. ; $context$ = sent1: if that the celibate does not suggest insufflation but it does perseverate glowworm does not hold it is not gnostic. sent2: a gnostic thing that is a recrimination does not resize. sent3: the ammonium does not resize if that the celibate does not perseverate glowworm is correct. sent4: if the celibate does not suggest insufflation but it does perseverate glowworm it is not gnostic. ; $proof$ = 
void -> assump1: Let's assume that that the celibate does not suggest insufflation but it perseverates glowworm is incorrect.; sent1 & assump1 -> int1: the celibate is not gnostic.; sent2 -> int2: if the ammonium is gnostic thing that is a kind of a recrimination it does not resize.; __UNKNOWN__