if the Moloch does upgrade then the stairwell is unready.
sent1: the stairwell is a kind of a rectus if it solarizes. sent2: if the stairwell is an upgrade the Moloch is unready. sent3: the sugarplum does solarize but it is not imperfect if the Moloch upgrades. sent4: the sugarplum is not imperfect. sent5: if something is immodest it is unready. sent6: the Moloch is imperfect but not a harmfulness. sent7: if the fact that the sugarplum solarizes hold then the stairwell is immodest. sent8: if the Moloch is a kind of an upgrade then the sugarplum is not imperfect.
void -> assump1: Let's assume that the Moloch is an upgrade.; sent3 & assump1 -> int1: the sugarplum does solarize and is not imperfect.; int1 -> int2: the fact that the sugarplum does solarize is true.; int2 & sent7 -> int3: the stairwell is immodest.; sent5 -> int4: the stairwell is unready if the fact that it is immodest is true.; int3 & int4 -> int5: the stairwell is unready.; [assump1] & int5 -> hypothesis;
$hypothesis$ = if the Moloch does upgrade then the stairwell is unready. ; $context$ = sent1: the stairwell is a kind of a rectus if it solarizes. sent2: if the stairwell is an upgrade the Moloch is unready. sent3: the sugarplum does solarize but it is not imperfect if the Moloch upgrades. sent4: the sugarplum is not imperfect. sent5: if something is immodest it is unready. sent6: the Moloch is imperfect but not a harmfulness. sent7: if the fact that the sugarplum solarizes hold then the stairwell is immodest. sent8: if the Moloch is a kind of an upgrade then the sugarplum is not imperfect. ; $proof$ = 
void -> assump1: Let's assume that the Moloch is an upgrade.; sent3 & assump1 -> int1: the sugarplum does solarize and is not imperfect.; int1 -> int2: the fact that the sugarplum does solarize is true.; int2 & sent7 -> int3: the stairwell is immodest.; sent5 -> int4: the stairwell is unready if the fact that it is immodest is true.; int3 & int4 -> int5: the stairwell is unready.; [assump1] & int5 -> hypothesis; __PROVED__