the fact that the emirate marvels disestablishment is correct if the rerebrace does respect chokecherry.
sent1: that the rerebrace does not respect chokecherry hold if the daygirl is not incautious or a stock-in-trade or both. sent2: the rerebrace either does not respect chokecherry or is a stock-in-trade or both. sent3: if that the daygirl is not incautious or it is a kind of a stock-in-trade or both does not hold then the emirate is Deweyan. sent4: the emirate is Deweyan if the fact that the daygirl is incautious or is a stock-in-trade or both is not right. sent5: either the daygirl is incautious or it is a stock-in-trade or both. sent6: if something is Deweyan that it marvels disestablishment is correct. sent7: the rerebrace does not respect chokecherry if the daygirl is not incautious. sent8: the daygirl is not cautious.
void -> assump2: Let's assume that the daygirl either is not incautious or is a kind of a stock-in-trade or both.; sent1 & assump2 -> int1: the rerebrace does not respect chokecherry.; void -> assump1: Let's assume that the rerebrace respects chokecherry.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the daygirl is not incautious and/or it is a stock-in-trade is incorrect.; int3 & sent3 -> int4: the emirate is Deweyan.; sent6 -> int5: the emirate does marvel disestablishment if it is Deweyan.; int4 & int5 -> int6: the emirate does marvel disestablishment.; [assump1] & int6 -> hypothesis;
$hypothesis$ = the fact that the emirate marvels disestablishment is correct if the rerebrace does respect chokecherry. ; $context$ = sent1: that the rerebrace does not respect chokecherry hold if the daygirl is not incautious or a stock-in-trade or both. sent2: the rerebrace either does not respect chokecherry or is a stock-in-trade or both. sent3: if that the daygirl is not incautious or it is a kind of a stock-in-trade or both does not hold then the emirate is Deweyan. sent4: the emirate is Deweyan if the fact that the daygirl is incautious or is a stock-in-trade or both is not right. sent5: either the daygirl is incautious or it is a stock-in-trade or both. sent6: if something is Deweyan that it marvels disestablishment is correct. sent7: the rerebrace does not respect chokecherry if the daygirl is not incautious. sent8: the daygirl is not cautious. ; $proof$ = 
void -> assump2: Let's assume that the daygirl either is not incautious or is a kind of a stock-in-trade or both.; sent1 & assump2 -> int1: the rerebrace does not respect chokecherry.; void -> assump1: Let's assume that the rerebrace respects chokecherry.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the daygirl is not incautious and/or it is a stock-in-trade is incorrect.; int3 & sent3 -> int4: the emirate is Deweyan.; sent6 -> int5: the emirate does marvel disestablishment if it is Deweyan.; int4 & int5 -> int6: the emirate does marvel disestablishment.; [assump1] & int6 -> hypothesis; __PROVED__