the fact that the fact that the succade is electronic hold if the tetrabromo-phenolsulfonephthalein is a ditch is incorrect.
sent1: that the succade is not rejective is not incorrect if the fact that it is electronic is correct. sent2: the fact that the tetrabromo-phenolsulfonephthalein is a gallantry that is a user is wrong. sent3: the tetrabromo-phenolsulfonephthalein is not a kind of a ditch if the fact that it is both not a gallantry and a user does not hold. sent4: if the fact that the tetrabromo-phenolsulfonephthalein is a kind of a user hold then the succade does ditch. sent5: the succade is not a ground. sent6: if the tetrabromo-phenolsulfonephthalein is electronic then it is not a gallantry. sent7: the tetrabromo-phenolsulfonephthalein is not a gallantry. sent8: the gnat is not a cairn if the fact that it does not hive and is a kind of a ditch is false. sent9: the tetrabromo-phenolsulfonephthalein does ditch if that it is not a gallantry and it is a kind of a user does not hold. sent10: the tetrabromo-phenolsulfonephthalein is not a kind of a ditch if it is a kind of a gallantry. sent11: the succade does not anticipate thermostat and is an anesthesiologist. sent12: the Casanova is electronic. sent13: the tetrabromo-phenolsulfonephthalein does not constipate but it ditches. sent14: the tetrabromo-phenolsulfonephthalein is electronic if the succade ditches. sent15: if the tetrabromo-phenolsulfonephthalein is a user the succade is not non-electronic. sent16: the succade is a kind of a gallantry.
void -> assump2: Let's assume that the tetrabromo-phenolsulfonephthalein is a ditch.; void -> assump1: Let's assume that that the tetrabromo-phenolsulfonephthalein is not a gallantry and is a user is not right.; sent3 & assump1 -> int1: the tetrabromo-phenolsulfonephthalein is not a ditch.; assump2 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the tetrabromo-phenolsulfonephthalein is not a gallantry but it is a user.; int3 -> int4: the tetrabromo-phenolsulfonephthalein is a kind of a user.; sent15 & int4 -> int5: the succade is electronic.; [assump2] & int5 -> hypothesis;
$hypothesis$ = the fact that the fact that the succade is electronic hold if the tetrabromo-phenolsulfonephthalein is a ditch is incorrect. ; $context$ = sent1: that the succade is not rejective is not incorrect if the fact that it is electronic is correct. sent2: the fact that the tetrabromo-phenolsulfonephthalein is a gallantry that is a user is wrong. sent3: the tetrabromo-phenolsulfonephthalein is not a kind of a ditch if the fact that it is both not a gallantry and a user does not hold. sent4: if the fact that the tetrabromo-phenolsulfonephthalein is a kind of a user hold then the succade does ditch. sent5: the succade is not a ground. sent6: if the tetrabromo-phenolsulfonephthalein is electronic then it is not a gallantry. sent7: the tetrabromo-phenolsulfonephthalein is not a gallantry. sent8: the gnat is not a cairn if the fact that it does not hive and is a kind of a ditch is false. sent9: the tetrabromo-phenolsulfonephthalein does ditch if that it is not a gallantry and it is a kind of a user does not hold. sent10: the tetrabromo-phenolsulfonephthalein is not a kind of a ditch if it is a kind of a gallantry. sent11: the succade does not anticipate thermostat and is an anesthesiologist. sent12: the Casanova is electronic. sent13: the tetrabromo-phenolsulfonephthalein does not constipate but it ditches. sent14: the tetrabromo-phenolsulfonephthalein is electronic if the succade ditches. sent15: if the tetrabromo-phenolsulfonephthalein is a user the succade is not non-electronic. sent16: the succade is a kind of a gallantry. ; $proof$ = 
void -> assump2: Let's assume that the tetrabromo-phenolsulfonephthalein is a ditch.; void -> assump1: Let's assume that that the tetrabromo-phenolsulfonephthalein is not a gallantry and is a user is not right.; sent3 & assump1 -> int1: the tetrabromo-phenolsulfonephthalein is not a ditch.; assump2 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the tetrabromo-phenolsulfonephthalein is not a gallantry but it is a user.; int3 -> int4: the tetrabromo-phenolsulfonephthalein is a kind of a user.; sent15 & int4 -> int5: the succade is electronic.; [assump2] & int5 -> hypothesis; __DISPROVED__