the fact that the mother-in-law is a kind of a dishonor hold.
sent1: if the spongefly is high-tech then that the sulla is a Sufi is not false. sent2: the retem is a Plectophera. sent3: if that either the spongefly is high-tech or it is not Laotian or both is not correct then the mother-in-law does dishonor. sent4: if the sulla is a Sufi the fact that the Primaxin is not a kind of a concerto but it is a pitch does not hold. sent5: if that something is a dishonor and is Laotian does not hold the fact that it is not a dishonor is right. sent6: if the spongefly is not Laotian the sulla is Sufi. sent7: if that the Primaxin is not a concerto but it is a kind of a pitch is incorrect then the retem is not a Plectophera.
void -> assump1: Let's assume that the spongefly is high-tech and/or is not Laotian.; assump1 & sent1 & sent6 -> int1: the sulla is a Sufi.; int1 & sent4 -> int2: that the Primaxin is not a concerto and is a kind of a pitch is not true.; int2 & sent7 -> int3: the retem is not a kind of a Plectophera.; int3 & sent2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the spongefly is either not non-high-tech or non-Laotian or both is not correct.; int5 & sent3 -> hypothesis;
the mother-in-law does not dishonor.
sent5 -> int6: if the fact that the mother-in-law dishonors and it is Laotian is not true then it does not dishonors.;
$hypothesis$ = the fact that the mother-in-law is a kind of a dishonor hold. ; $context$ = sent1: if the spongefly is high-tech then that the sulla is a Sufi is not false. sent2: the retem is a Plectophera. sent3: if that either the spongefly is high-tech or it is not Laotian or both is not correct then the mother-in-law does dishonor. sent4: if the sulla is a Sufi the fact that the Primaxin is not a kind of a concerto but it is a pitch does not hold. sent5: if that something is a dishonor and is Laotian does not hold the fact that it is not a dishonor is right. sent6: if the spongefly is not Laotian the sulla is Sufi. sent7: if that the Primaxin is not a concerto but it is a kind of a pitch is incorrect then the retem is not a Plectophera. ; $proof$ = 
void -> assump1: Let's assume that the spongefly is high-tech and/or is not Laotian.; assump1 & sent1 & sent6 -> int1: the sulla is a Sufi.; int1 & sent4 -> int2: that the Primaxin is not a concerto and is a kind of a pitch is not true.; int2 & sent7 -> int3: the retem is not a kind of a Plectophera.; int3 & sent2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the spongefly is either not non-high-tech or non-Laotian or both is not correct.; int5 & sent3 -> hypothesis; __PROVED__