the support is not a devising or not nonresidential or both.
sent1: the fact that the foible is either not an address or not a blouse or both is wrong. sent2: the negus is not a harmonics. sent3: if the beater is a Isfahan the registrar is a troop. sent4: that something is a Isfahan and it is a troop is false if it is not a harmonics. sent5: if the oncidium is not an octagon then the fact that the support is not a devising or not nonresidential or both is not true. sent6: if the beater is harmonics then the oncidium is both not a troop and a Isfahan. sent7: if that the support is a Isfahan hold then the fact that the beater is nonresidential is correct. sent8: the support is nonresidential. sent9: if the registrar is a troop then the negus is harmonics. sent10: if something is a kind of an octagon it does not devise and/or is not nonresidential. sent11: the negus does not complain. sent12: if the negus is an octagon the oncidium is not non-harmonics. sent13: the beater is an octagon. sent14: the negus is a kind of a devising. sent15: if the oncidium is an octagon the beater is a kind of a Isfahan. sent16: the support is nonresidential if the oncidium is not an octagon.
void -> assump1: Let's assume that the oncidium is an octagon.; sent15 & assump1 -> int1: the beater is a Isfahan.; int1 & sent3 -> int2: that the registrar is a troop hold.; int2 & sent9 -> int3: the fact that the negus is a kind of a harmonics hold.; int3 & sent2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the oncidium is not an octagon.; int5 & sent5 -> hypothesis;
the support does not devise and/or is not nonresidential.
sent10 -> int6: the support is not a devising and/or it is not nonresidential if the fact that it is an octagon is correct.; sent4 -> int7: if the oncidium is not a harmonics that it is a Isfahan that is a kind of a troop does not hold.;
$hypothesis$ = the support is not a devising or not nonresidential or both. ; $context$ = sent1: the fact that the foible is either not an address or not a blouse or both is wrong. sent2: the negus is not a harmonics. sent3: if the beater is a Isfahan the registrar is a troop. sent4: that something is a Isfahan and it is a troop is false if it is not a harmonics. sent5: if the oncidium is not an octagon then the fact that the support is not a devising or not nonresidential or both is not true. sent6: if the beater is harmonics then the oncidium is both not a troop and a Isfahan. sent7: if that the support is a Isfahan hold then the fact that the beater is nonresidential is correct. sent8: the support is nonresidential. sent9: if the registrar is a troop then the negus is harmonics. sent10: if something is a kind of an octagon it does not devise and/or is not nonresidential. sent11: the negus does not complain. sent12: if the negus is an octagon the oncidium is not non-harmonics. sent13: the beater is an octagon. sent14: the negus is a kind of a devising. sent15: if the oncidium is an octagon the beater is a kind of a Isfahan. sent16: the support is nonresidential if the oncidium is not an octagon. ; $proof$ = 
void -> assump1: Let's assume that the oncidium is an octagon.; sent15 & assump1 -> int1: the beater is a Isfahan.; int1 & sent3 -> int2: that the registrar is a troop hold.; int2 & sent9 -> int3: the fact that the negus is a kind of a harmonics hold.; int3 & sent2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the oncidium is not an octagon.; int5 & sent5 -> hypothesis; __DISPROVED__