that the gutter encrusts penciled and/or does not reconsider is not false if the lunchroom is not a harmonizer.
sent1: the bitter does harry daub or is a kind of a harmonizer or both. sent2: if the realgar does harry dinosaur and does not bedew bridecake the bitter harries daub. sent3: there exists something such that it is a harmonizer. sent4: the realgar does not bedew bridecake. sent5: if there is something such that it is not a harmonizer then the realgar harries dinosaur but it does not bedew bridecake. sent6: if there is something such that the fact that it does not reconsider hold the realgar does encrust penciled but it does not bedew bridecake. sent7: if something harries daub the fact that it does harry dinosaur is correct. sent8: the gutter encrusts penciled and/or reconsiders.
void -> assump1: Let's assume that the lunchroom is not a harmonizer.; assump1 -> int1: something is not a harmonizer.; int1 & sent5 -> int2: the realgar harries dinosaur but it does not bedew bridecake.; sent2 & int2 -> int3: the bitter does harry daub.;
the bacchant is a harmonizer.
sent7 -> int4: the realgar harries dinosaur if it does harry daub.;
$hypothesis$ = that the gutter encrusts penciled and/or does not reconsider is not false if the lunchroom is not a harmonizer. ; $context$ = sent1: the bitter does harry daub or is a kind of a harmonizer or both. sent2: if the realgar does harry dinosaur and does not bedew bridecake the bitter harries daub. sent3: there exists something such that it is a harmonizer. sent4: the realgar does not bedew bridecake. sent5: if there is something such that it is not a harmonizer then the realgar harries dinosaur but it does not bedew bridecake. sent6: if there is something such that the fact that it does not reconsider hold the realgar does encrust penciled but it does not bedew bridecake. sent7: if something harries daub the fact that it does harry dinosaur is correct. sent8: the gutter encrusts penciled and/or reconsiders. ; $proof$ = 
void -> assump1: Let's assume that the lunchroom is not a harmonizer.; assump1 -> int1: something is not a harmonizer.; int1 & sent5 -> int2: the realgar harries dinosaur but it does not bedew bridecake.; sent2 & int2 -> int3: the bitter does harry daub.; __UNKNOWN__