the fact that either the reactance barbarizes or it does embark or both hold.
sent1: if the sill is a fowl then the antifreeze manhandles Loewe. sent2: either the sill does not manhandle Loewe or it is not a Pitt or both if there is something such that it is not a kind of a ballcock. sent3: something is a doxology if it is a Burnside. sent4: either the antifreeze is a kind of a singer or it does not embark or both. sent5: if the sill does barbarize then the reactance manhandles Loewe. sent6: the sill embarks and/or it is not a kind of a Boston. sent7: the sill does barbarize. sent8: the reactance does manhandle Loewe. sent9: the sill is a kind of a Boston or it is not a viscountess or both. sent10: a ballcock does barbarize. sent11: the sill does not manhandle Loewe if it is not a viscountess. sent12: the reactance is a fowl if it is a kind of a ballcock. sent13: the sill is not a Bruckner. sent14: either the Curacao is a fowl or it is not a Manzoni or both. sent15: the antifreeze does not discountenance banned but it is a shank if it is a doxology. sent16: the sill embarks. sent17: the antifreeze is a Burnside. sent18: the reactance is a kind of a ballcock if the antifreeze is a fowl. sent19: if the antifreeze does not discountenance banned but it is a kind of a shank then it is not a ballcock. sent20: the antifreeze barbarizes. sent21: either the antifreeze is a kind of a fowl or it is a Pitt or both if the fact that the sill manhandles Loewe is not correct. sent22: the sill either is a Boston or is a viscountess or both. sent23: if either the sill is a kind of a Boston or it is not a viscountess or both then it does not manhandle Loewe. sent24: the sill is a brigandine and/or is not a kind of a Boston. sent25: if the antifreeze is a kind of a Pitt the reactance is a ballcock.
sent23 & sent9 -> int1: the sill does not manhandle Loewe.; int1 & sent21 -> int2: the antifreeze is a kind of a fowl and/or it is a kind of a Pitt.; int2 & sent18 & sent25 -> int3: the reactance is a ballcock.; sent10 -> int4: the reactance barbarizes if it is a ballcock.; int3 & int4 -> int5: the reactance does barbarize.; int5 -> hypothesis;
that either the reactance does barbarize or it does embark or both is wrong.
sent3 -> int6: the antifreeze is a kind of a doxology if it is a Burnside.; int6 & sent17 -> int7: the antifreeze is a doxology.; sent15 & int7 -> int8: the antifreeze does not discountenance banned and is a shank.; sent19 & int8 -> int9: the antifreeze is not a ballcock.; int9 -> int10: there exists something such that it is not a kind of a ballcock.; int10 & sent2 -> int11: the sill does not manhandle Loewe and/or it is not a Pitt.;
$hypothesis$ = the fact that either the reactance barbarizes or it does embark or both hold. ; $context$ = sent1: if the sill is a fowl then the antifreeze manhandles Loewe. sent2: either the sill does not manhandle Loewe or it is not a Pitt or both if there is something such that it is not a kind of a ballcock. sent3: something is a doxology if it is a Burnside. sent4: either the antifreeze is a kind of a singer or it does not embark or both. sent5: if the sill does barbarize then the reactance manhandles Loewe. sent6: the sill embarks and/or it is not a kind of a Boston. sent7: the sill does barbarize. sent8: the reactance does manhandle Loewe. sent9: the sill is a kind of a Boston or it is not a viscountess or both. sent10: a ballcock does barbarize. sent11: the sill does not manhandle Loewe if it is not a viscountess. sent12: the reactance is a fowl if it is a kind of a ballcock. sent13: the sill is not a Bruckner. sent14: either the Curacao is a fowl or it is not a Manzoni or both. sent15: the antifreeze does not discountenance banned but it is a shank if it is a doxology. sent16: the sill embarks. sent17: the antifreeze is a Burnside. sent18: the reactance is a kind of a ballcock if the antifreeze is a fowl. sent19: if the antifreeze does not discountenance banned but it is a kind of a shank then it is not a ballcock. sent20: the antifreeze barbarizes. sent21: either the antifreeze is a kind of a fowl or it is a Pitt or both if the fact that the sill manhandles Loewe is not correct. sent22: the sill either is a Boston or is a viscountess or both. sent23: if either the sill is a kind of a Boston or it is not a viscountess or both then it does not manhandle Loewe. sent24: the sill is a brigandine and/or is not a kind of a Boston. sent25: if the antifreeze is a kind of a Pitt the reactance is a ballcock. ; $proof$ = 
sent23 & sent9 -> int1: the sill does not manhandle Loewe.; int1 & sent21 -> int2: the antifreeze is a kind of a fowl and/or it is a kind of a Pitt.; int2 & sent18 & sent25 -> int3: the reactance is a ballcock.; sent10 -> int4: the reactance barbarizes if it is a ballcock.; int3 & int4 -> int5: the reactance does barbarize.; int5 -> hypothesis; __PROVED__