the aspic establishes and/or it does not discuss.
sent1: the pregnanediol is a brilliance. sent2: if the fact that the aspic does establish and/or it discusses is not true that the ogre is bronchoscopic hold. sent3: if that the pregnanediol is a brilliance or it does not breed or both does not hold then the aspic does discuss. sent4: if the fact that either the aspic establishes or it does not discuss or both is false then the ogre is bronchoscopic. sent5: the ogre is a kind of a breed if it is bronchoscopic. sent6: if the ogre does breed then the haywire is promissory. sent7: that something does establish and/or it does not discuss is not true if it is not a breed. sent8: if that the haywire is not non-Gibraltarian but it is not unsteady is false then the pregnanediol is not a kind of a brilliance. sent9: that the haywire establishes and is not promissory is wrong if it is a demagnetization. sent10: a promissory thing is a kind of a demagnetization. sent11: the aspic is an orchid. sent12: if the pregnanediol is a brilliance then the fact that it is promissory is not false. sent13: there exists something such that it is not a Gibraltarian. sent14: either the aspic does establish or it does discuss or both. sent15: the fact that the pregnanediol is bronchoscopic is correct. sent16: that something is a kind of a Gibraltarian that is not unsteady is not correct if it is a demagnetization.
void -> assump1: Let's assume that that either the aspic does establish or it does not discuss or both is not true.; sent4 & assump1 -> int1: the ogre is bronchoscopic.; int1 & sent5 -> int2: the ogre breeds.; int2 & sent6 -> int3: the haywire is promissory.; sent10 -> int4: the haywire is a demagnetization if it is promissory.; int3 & int4 -> int5: the haywire is a demagnetization.; sent16 -> int6: that the haywire is a Gibraltarian but it is not unsteady is wrong if it is a demagnetization.; int5 & int6 -> int7: that the haywire is a kind of a Gibraltarian but it is not unsteady is not right.; int7 & sent8 -> int8: the fact that the pregnanediol is not a brilliance is not wrong.; int8 & sent1 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis;
the fact that the aspic does establish and/or it does not discuss is false.
sent7 -> int10: if the aspic is not a breed the fact that it establishes and/or does not discuss is wrong.;
$hypothesis$ = the aspic establishes and/or it does not discuss. ; $context$ = sent1: the pregnanediol is a brilliance. sent2: if the fact that the aspic does establish and/or it discusses is not true that the ogre is bronchoscopic hold. sent3: if that the pregnanediol is a brilliance or it does not breed or both does not hold then the aspic does discuss. sent4: if the fact that either the aspic establishes or it does not discuss or both is false then the ogre is bronchoscopic. sent5: the ogre is a kind of a breed if it is bronchoscopic. sent6: if the ogre does breed then the haywire is promissory. sent7: that something does establish and/or it does not discuss is not true if it is not a breed. sent8: if that the haywire is not non-Gibraltarian but it is not unsteady is false then the pregnanediol is not a kind of a brilliance. sent9: that the haywire establishes and is not promissory is wrong if it is a demagnetization. sent10: a promissory thing is a kind of a demagnetization. sent11: the aspic is an orchid. sent12: if the pregnanediol is a brilliance then the fact that it is promissory is not false. sent13: there exists something such that it is not a Gibraltarian. sent14: either the aspic does establish or it does discuss or both. sent15: the fact that the pregnanediol is bronchoscopic is correct. sent16: that something is a kind of a Gibraltarian that is not unsteady is not correct if it is a demagnetization. ; $proof$ = 
void -> assump1: Let's assume that that either the aspic does establish or it does not discuss or both is not true.; sent4 & assump1 -> int1: the ogre is bronchoscopic.; int1 & sent5 -> int2: the ogre breeds.; int2 & sent6 -> int3: the haywire is promissory.; sent10 -> int4: the haywire is a demagnetization if it is promissory.; int3 & int4 -> int5: the haywire is a demagnetization.; sent16 -> int6: that the haywire is a Gibraltarian but it is not unsteady is wrong if it is a demagnetization.; int5 & int6 -> int7: that the haywire is a kind of a Gibraltarian but it is not unsteady is not right.; int7 & sent8 -> int8: the fact that the pregnanediol is not a brilliance is not wrong.; int8 & sent1 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis; __PROVED__