that the whitebait does post hail is right.
sent1: if there exists something such that that it is a Cyrillic and it is not a TLC is false then the ethyl is not a Cyrillic. sent2: that the glycogen is a kind of a Cyrillic that is not a kind of a TLC is not correct. sent3: the whitebait is not discriminatory. sent4: the complex is radioactive. sent5: there exists something such that it is Cyrillic and it is not a TLC. sent6: if the fact that the laelia is a TLC and it is a Scythia does not hold then the glycogen is not a TLC. sent7: the fact that the glycogen is a Cyrillic and it is a TLC is not true. sent8: if something is a TLC the ethyl is not Cyrillic. sent9: that the ethyl is radioactive but it is not a Cyrillic is incorrect. sent10: if the whitebait is radioactive then the ethyl is a Cyrillic. sent11: the glycogen is not radioactive. sent12: the glycogen is a TLC if it is radioactive. sent13: if that something is not a TLC is true then the fact that the laelia is a kind of a TLC and it is a Scythia is not true. sent14: that the glycogen is a kind of a TLC and does not post hail does not hold. sent15: the glycogen is radioactive if the whitebait is a TLC. sent16: the whitebait posts hail if the ethyl does posts hail. sent17: there exists something such that that it is Cyrillic a TLC is not true. sent18: the glycogen does not post hail. sent19: everything is a kind of a frontal. sent20: the whitebait is radioactive if it posts hail. sent21: the dolphinfish is not a TLC if the fact that the drip is a kind of non-insular thing that is not mammalian is not correct. sent22: that that something is non-insular and non-mammalian is correct is incorrect if it is a frontal. sent23: there exists something such that the fact that it is a TLC and it is nonradioactive is incorrect.
void -> assump1: Let's assume that the fact that the whitebait posts hail is not incorrect.; sent20 & assump1 -> int1: the whitebait is radioactive.; int1 & sent10 -> int2: the ethyl is a kind of a Cyrillic.; sent2 -> int3: there exists something such that the fact that it is a Cyrillic and not a TLC does not hold.; int3 & sent1 -> int4: the ethyl is not Cyrillic.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
the whitebait posts hail.
sent22 -> int6: the fact that if the invigilator is frontal then the fact that the invigilator is a kind of non-insular thing that is not mammalian is incorrect is not false.; sent19 -> int7: the invigilator is frontal.; int6 & int7 -> int8: the fact that the invigilator is not insular and it is not mammalian is not right.; int8 -> int9: there is nothing that is not insular and is not mammalian.; int9 -> int10: that the drip is both not insular and not mammalian is not correct.; int10 & sent21 -> int11: the dolphinfish is not a TLC.; int11 -> int12: there exists something such that the fact that it is not a TLC is not wrong.; int12 & sent13 -> int13: the fact that the laelia is a TLC that is a Scythia is wrong.; int13 & sent6 -> int14: the glycogen is not a TLC.;
$hypothesis$ = that the whitebait does post hail is right. ; $context$ = sent1: if there exists something such that that it is a Cyrillic and it is not a TLC is false then the ethyl is not a Cyrillic. sent2: that the glycogen is a kind of a Cyrillic that is not a kind of a TLC is not correct. sent3: the whitebait is not discriminatory. sent4: the complex is radioactive. sent5: there exists something such that it is Cyrillic and it is not a TLC. sent6: if the fact that the laelia is a TLC and it is a Scythia does not hold then the glycogen is not a TLC. sent7: the fact that the glycogen is a Cyrillic and it is a TLC is not true. sent8: if something is a TLC the ethyl is not Cyrillic. sent9: that the ethyl is radioactive but it is not a Cyrillic is incorrect. sent10: if the whitebait is radioactive then the ethyl is a Cyrillic. sent11: the glycogen is not radioactive. sent12: the glycogen is a TLC if it is radioactive. sent13: if that something is not a TLC is true then the fact that the laelia is a kind of a TLC and it is a Scythia is not true. sent14: that the glycogen is a kind of a TLC and does not post hail does not hold. sent15: the glycogen is radioactive if the whitebait is a TLC. sent16: the whitebait posts hail if the ethyl does posts hail. sent17: there exists something such that that it is Cyrillic a TLC is not true. sent18: the glycogen does not post hail. sent19: everything is a kind of a frontal. sent20: the whitebait is radioactive if it posts hail. sent21: the dolphinfish is not a TLC if the fact that the drip is a kind of non-insular thing that is not mammalian is not correct. sent22: that that something is non-insular and non-mammalian is correct is incorrect if it is a frontal. sent23: there exists something such that the fact that it is a TLC and it is nonradioactive is incorrect. ; $proof$ = 
void -> assump1: Let's assume that the fact that the whitebait posts hail is not incorrect.; sent20 & assump1 -> int1: the whitebait is radioactive.; int1 & sent10 -> int2: the ethyl is a kind of a Cyrillic.; sent2 -> int3: there exists something such that the fact that it is a Cyrillic and not a TLC does not hold.; int3 & sent1 -> int4: the ethyl is not Cyrillic.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __DISPROVED__