if the arcella does not forage pedicab and does forage furlough the harem does not border pesantran.
sent1: the arcella does forage furlough. sent2: if the harem does border pesantran the arcella does not forage pedicab and does forage furlough. sent3: the fact that the arcella forages pedicab and does forage furlough is not true. sent4: if the harem borders pesantran the fact that the arcella does forage pedicab and it forages furlough does not hold. sent5: the harem does not border pesantran if the arcella forages pedicab and forages furlough. sent6: the arcella does not forage pedicab.
void -> assump2: Let's assume that the harem does border pesantran.;
$hypothesis$ = if the arcella does not forage pedicab and does forage furlough the harem does not border pesantran. ; $context$ = sent1: the arcella does forage furlough. sent2: if the harem does border pesantran the arcella does not forage pedicab and does forage furlough. sent3: the fact that the arcella forages pedicab and does forage furlough is not true. sent4: if the harem borders pesantran the fact that the arcella does forage pedicab and it forages furlough does not hold. sent5: the harem does not border pesantran if the arcella forages pedicab and forages furlough. sent6: the arcella does not forage pedicab. ; $proof$ = 
void -> assump2: Let's assume that the harem does border pesantran.; __UNKNOWN__