the fact that the cladode is a kind of discourteous thing that does not concern blasphemy is incorrect if the burg is not a 1790s.
sent1: if something does not reopen self-aggrandizement the fact that it does not reopen conflict and is not catapultic does not hold. sent2: the burg is not courteous. sent3: if something is not a kind of a 1790s that it is not a Rumex and it does not expense sawpit is not correct. sent4: if the fact that something is not a Rumex and it does not expense sawpit is wrong then it does not concern blasphemy. sent5: the burg is not unreverberant. sent6: the fact that the cladode is not courteous and does not concern blasphemy does not hold if the burg is a kind of a 1790s. sent7: the fact that the cladode is not courteous and it does not concern blasphemy does not hold if the burg does not concern blasphemy. sent8: if the burg is not a kind of a 1790s then the fact that it is a Rumex that does not expense sawpit is not correct. sent9: if the burg does not concern blasphemy the fact that the cladode is a kind of a 1790s that does not expense sawpit does not hold. sent10: if something is not a 1790s then the fact that it is not a kind of a Rumex and expenses sawpit does not hold. sent11: if the cladode does not expense sawpit that the burg is not a 1790s and it does not expense sawpit is not right. sent12: if that something is not conspiratorial and it is not coarse does not hold it does not nag. sent13: if the burg does not concern blasphemy that the cladode is not courteous and does concern blasphemy is incorrect. sent14: that the cladode is courteous thing that does not concern blasphemy does not hold if the burg does not concern blasphemy.
sent3 -> int1: that the burg is not a kind of a Rumex and it does not expense sawpit is wrong if it is not a 1790s.; void -> assump1: Let's assume that the burg is not a 1790s.; int1 & assump1 -> int2: the fact that the burg is not a Rumex and does not expense sawpit is not correct.; sent4 -> int3: that the burg does not concern blasphemy is right if that it is not a Rumex and does not expense sawpit is not true.; int2 & int3 -> int4: the burg does not concern blasphemy.; int4 & sent7 -> int5: the fact that the cladode is discourteous thing that does not concern blasphemy does not hold.; [assump1] & int5 -> hypothesis;
$hypothesis$ = the fact that the cladode is a kind of discourteous thing that does not concern blasphemy is incorrect if the burg is not a 1790s. ; $context$ = sent1: if something does not reopen self-aggrandizement the fact that it does not reopen conflict and is not catapultic does not hold. sent2: the burg is not courteous. sent3: if something is not a kind of a 1790s that it is not a Rumex and it does not expense sawpit is not correct. sent4: if the fact that something is not a Rumex and it does not expense sawpit is wrong then it does not concern blasphemy. sent5: the burg is not unreverberant. sent6: the fact that the cladode is not courteous and does not concern blasphemy does not hold if the burg is a kind of a 1790s. sent7: the fact that the cladode is not courteous and it does not concern blasphemy does not hold if the burg does not concern blasphemy. sent8: if the burg is not a kind of a 1790s then the fact that it is a Rumex that does not expense sawpit is not correct. sent9: if the burg does not concern blasphemy the fact that the cladode is a kind of a 1790s that does not expense sawpit does not hold. sent10: if something is not a 1790s then the fact that it is not a kind of a Rumex and expenses sawpit does not hold. sent11: if the cladode does not expense sawpit that the burg is not a 1790s and it does not expense sawpit is not right. sent12: if that something is not conspiratorial and it is not coarse does not hold it does not nag. sent13: if the burg does not concern blasphemy that the cladode is not courteous and does concern blasphemy is incorrect. sent14: that the cladode is courteous thing that does not concern blasphemy does not hold if the burg does not concern blasphemy. ; $proof$ = 
sent3 -> int1: that the burg is not a kind of a Rumex and it does not expense sawpit is wrong if it is not a 1790s.; void -> assump1: Let's assume that the burg is not a 1790s.; int1 & assump1 -> int2: the fact that the burg is not a Rumex and does not expense sawpit is not correct.; sent4 -> int3: that the burg does not concern blasphemy is right if that it is not a Rumex and does not expense sawpit is not true.; int2 & int3 -> int4: the burg does not concern blasphemy.; int4 & sent7 -> int5: the fact that the cladode is discourteous thing that does not concern blasphemy does not hold.; [assump1] & int5 -> hypothesis; __PROVED__