the balmoral is an opus.
sent1: the fact that that the usherette is not a Helicidae but it is an abduction does not hold hold. sent2: something does shaft swabbing. sent3: the balmoral is an opus if it is not a defoliator and it does not shaft lawsuit. sent4: if something is a Helicidae it is both not a defoliator and an abduction. sent5: the balmoral does not drain. sent6: the fact that the usherette is not a Helicidae and not an abduction does not hold if there is something such that it is a kind of a defoliator. sent7: if there exists something such that it shafts swabbing then the usherette is not a Helicidae and not an abduction. sent8: the balmoral does not shaft lawsuit if it is not a kind of a drained.
void -> assump1: Let's assume that the balmoral is a defoliator.; assump1 -> int1: there is something such that it is a kind of a defoliator.; int1 & sent6 -> int2: the fact that the usherette is not a kind of a Helicidae and it is not a kind of an abduction is not right.; sent2 & sent7 -> int3: the usherette is not a Helicidae and not an abduction.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the balmoral is not a defoliator.; sent8 & sent5 -> int6: that the balmoral does shaft lawsuit is false.; int5 & int6 -> int7: the balmoral is not a defoliator and does not shaft lawsuit.; int7 & sent3 -> hypothesis;
the balmoral is not a kind of an opus.
sent4 -> int8: if the usherette is a kind of a Helicidae it is not a defoliator and it is an abduction.;
$hypothesis$ = the balmoral is an opus. ; $context$ = sent1: the fact that that the usherette is not a Helicidae but it is an abduction does not hold hold. sent2: something does shaft swabbing. sent3: the balmoral is an opus if it is not a defoliator and it does not shaft lawsuit. sent4: if something is a Helicidae it is both not a defoliator and an abduction. sent5: the balmoral does not drain. sent6: the fact that the usherette is not a Helicidae and not an abduction does not hold if there is something such that it is a kind of a defoliator. sent7: if there exists something such that it shafts swabbing then the usherette is not a Helicidae and not an abduction. sent8: the balmoral does not shaft lawsuit if it is not a kind of a drained. ; $proof$ = 
void -> assump1: Let's assume that the balmoral is a defoliator.; assump1 -> int1: there is something such that it is a kind of a defoliator.; int1 & sent6 -> int2: the fact that the usherette is not a kind of a Helicidae and it is not a kind of an abduction is not right.; sent2 & sent7 -> int3: the usherette is not a Helicidae and not an abduction.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the balmoral is not a defoliator.; sent8 & sent5 -> int6: that the balmoral does shaft lawsuit is false.; int5 & int6 -> int7: the balmoral is not a defoliator and does not shaft lawsuit.; int7 & sent3 -> hypothesis; __PROVED__