the fact that the investment is a nonequivalence is not incorrect.
sent1: if something is not a wear it is a kind of a nonequivalence and it is a kind of a AC. sent2: the tailfin is a AC if something is a consubstantiation. sent3: the Phoebe is not a kind of a wear if it is a Scaphiopus and it is not a consubstantiation. sent4: the investment is not a kind of a nonequivalence if the dust does not impair twenties. sent5: the tailfin does image. sent6: the Phoebe does not wear if it is a kind of a Scaphiopus that is a consubstantiation. sent7: that that the tailfin is senatorial is right is incorrect. sent8: there is something such that the fact that it is a Scaphiopus and it is a consubstantiation is not right. sent9: if something that is fishy deplores Churchill it is not strange. sent10: the tailfin does image if it is not senatorial. sent11: if the napalm is not strange the dust is not a kind of an antique and is a beachfront. sent12: the tailfin is a AC if there exists something such that that it is a Scaphiopus and it is not a consubstantiation is not right. sent13: there exists something such that it is a Scaphiopus and it is not a consubstantiation. sent14: the Lens is a kind of a Loranthus and it does deplore surcharge. sent15: the fact that the fact that the Phoebe is a kind of a Scaphiopus that is a kind of a consubstantiation is not correct is right. sent16: the tailfin is a kind of an image that is fermentable if it is not senatorial. sent17: the investment is not senatorial if the fact that the Phoebe is senatorial and it is a beachfront does not hold. sent18: if the fact that something does wear but it does not impair twenties is not right then it is not a wear. sent19: the Phoebe is a wear. sent20: the napalm is a kind of fishy thing that does deplore Churchill. sent21: the Phoebe is not a kind of a consubstantiation. sent22: if the tailfin is a kind of a AC and is fermentable then the fact that the dust does impair twenties is wrong. sent23: the tailfin is not a kind of a beachfront if the dust is not an antique but it is a beachfront. sent24: the dust is non-fermentable if it is senatorial and it does not impair twenties. sent25: the contributor impinges and it is a retort.
void -> assump1: Let's assume that the Phoebe is a Scaphiopus but it is not a consubstantiation.; sent3 & assump1 -> int1: the Phoebe does not wear.; int1 & sent19 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the Phoebe is a Scaphiopus but not a consubstantiation is not true.; int3 -> int4: there is something such that that it is a Scaphiopus and it is not a consubstantiation is not right.; int4 & sent12 -> int5: the tailfin is a AC.; sent16 & sent7 -> int6: the tailfin does image and it is fermentable.; int6 -> int7: the tailfin is fermentable.; int5 & int7 -> int8: the tailfin is a AC and it is fermentable.; int8 & sent22 -> int9: the dust does not impair twenties.; int9 & sent4 -> hypothesis;
the investment is a nonequivalence.
sent1 -> int10: the investment is a kind of a nonequivalence and it is a kind of a AC if that it is not a wear is not wrong.; sent18 -> int11: the investment is not a wear if the fact that it wear and it does not impair twenties is not correct.; sent9 -> int12: the napalm is not strange if it is fishy and it does deplore Churchill.; int12 & sent20 -> int13: the napalm is not strange.; sent11 & int13 -> int14: the dust is not an antique but it is a beachfront.; sent23 & int14 -> int15: the tailfin is not a beachfront.; int15 -> int16: there exists something such that that it is not a beachfront is not incorrect.;
$hypothesis$ = the fact that the investment is a nonequivalence is not incorrect. ; $context$ = sent1: if something is not a wear it is a kind of a nonequivalence and it is a kind of a AC. sent2: the tailfin is a AC if something is a consubstantiation. sent3: the Phoebe is not a kind of a wear if it is a Scaphiopus and it is not a consubstantiation. sent4: the investment is not a kind of a nonequivalence if the dust does not impair twenties. sent5: the tailfin does image. sent6: the Phoebe does not wear if it is a kind of a Scaphiopus that is a consubstantiation. sent7: that that the tailfin is senatorial is right is incorrect. sent8: there is something such that the fact that it is a Scaphiopus and it is a consubstantiation is not right. sent9: if something that is fishy deplores Churchill it is not strange. sent10: the tailfin does image if it is not senatorial. sent11: if the napalm is not strange the dust is not a kind of an antique and is a beachfront. sent12: the tailfin is a AC if there exists something such that that it is a Scaphiopus and it is not a consubstantiation is not right. sent13: there exists something such that it is a Scaphiopus and it is not a consubstantiation. sent14: the Lens is a kind of a Loranthus and it does deplore surcharge. sent15: the fact that the fact that the Phoebe is a kind of a Scaphiopus that is a kind of a consubstantiation is not correct is right. sent16: the tailfin is a kind of an image that is fermentable if it is not senatorial. sent17: the investment is not senatorial if the fact that the Phoebe is senatorial and it is a beachfront does not hold. sent18: if the fact that something does wear but it does not impair twenties is not right then it is not a wear. sent19: the Phoebe is a wear. sent20: the napalm is a kind of fishy thing that does deplore Churchill. sent21: the Phoebe is not a kind of a consubstantiation. sent22: if the tailfin is a kind of a AC and is fermentable then the fact that the dust does impair twenties is wrong. sent23: the tailfin is not a kind of a beachfront if the dust is not an antique but it is a beachfront. sent24: the dust is non-fermentable if it is senatorial and it does not impair twenties. sent25: the contributor impinges and it is a retort. ; $proof$ = 
void -> assump1: Let's assume that the Phoebe is a Scaphiopus but it is not a consubstantiation.; sent3 & assump1 -> int1: the Phoebe does not wear.; int1 & sent19 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the Phoebe is a Scaphiopus but not a consubstantiation is not true.; int3 -> int4: there is something such that that it is a Scaphiopus and it is not a consubstantiation is not right.; int4 & sent12 -> int5: the tailfin is a AC.; sent16 & sent7 -> int6: the tailfin does image and it is fermentable.; int6 -> int7: the tailfin is fermentable.; int5 & int7 -> int8: the tailfin is a AC and it is fermentable.; int8 & sent22 -> int9: the dust does not impair twenties.; int9 & sent4 -> hypothesis; __DISPROVED__