the fact that there exists something such that if it is a tonic it is not splintery and not Creole is not true.
sent1: something is not aleuronic and is not a kind of a lease if it does sparkle scombroid. sent2: the fact that something is a kind of a lease that is not a Lamaist hold if it does sparkle soldiering. sent3: if the Mam is a tonic it is non-splintery a Creole. sent4: if something is a tonic it is not splintery and it is a kind of a Creole. sent5: if something is a kismet then it is not a kind of a Tandy and is not a Georgetown. sent6: there exists something such that if it is a tonic it is not splintery. sent7: if something is a kind of a tonic then it is not splintery and it is not Creole. sent8: there is something such that if it is a kind of a tonic then it is non-splintery thing that is a Creole. sent9: something is not splintery if the fact that it is a tonic is true. sent10: the mat does not investigate Lama and does not investigate Chichewa if it is grateful. sent11: the Mam is not splintery if it is a tonic. sent12: there exists something such that if it is a Abyssinian it is not near and not a foundress. sent13: if something is alkaline it is not a episcopacy and it is not splintery. sent14: there is something such that if it is systematic it is not rabid and is not a kind of an escort. sent15: there exists something such that if the fact that it is aleuronic hold then it is not curable and it is not a modernity. sent16: the fact that the raceme is not the spiff and not postexilic if the raceme is a serial is not incorrect.
sent7 -> int1: if the fact that the Mam is a kind of a tonic is right then it is both not splintery and not Creole.; int1 -> hypothesis;
there is something such that if it is a kismet then it is not a Tandy and is not a kind of a Georgetown.
sent5 -> int2: the brewpub is not a Tandy and is not a Georgetown if that it is a kismet hold.; int2 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it is a tonic it is not splintery and not Creole is not true. ; $context$ = sent1: something is not aleuronic and is not a kind of a lease if it does sparkle scombroid. sent2: the fact that something is a kind of a lease that is not a Lamaist hold if it does sparkle soldiering. sent3: if the Mam is a tonic it is non-splintery a Creole. sent4: if something is a tonic it is not splintery and it is a kind of a Creole. sent5: if something is a kismet then it is not a kind of a Tandy and is not a Georgetown. sent6: there exists something such that if it is a tonic it is not splintery. sent7: if something is a kind of a tonic then it is not splintery and it is not Creole. sent8: there is something such that if it is a kind of a tonic then it is non-splintery thing that is a Creole. sent9: something is not splintery if the fact that it is a tonic is true. sent10: the mat does not investigate Lama and does not investigate Chichewa if it is grateful. sent11: the Mam is not splintery if it is a tonic. sent12: there exists something such that if it is a Abyssinian it is not near and not a foundress. sent13: if something is alkaline it is not a episcopacy and it is not splintery. sent14: there is something such that if it is systematic it is not rabid and is not a kind of an escort. sent15: there exists something such that if the fact that it is aleuronic hold then it is not curable and it is not a modernity. sent16: the fact that the raceme is not the spiff and not postexilic if the raceme is a serial is not incorrect. ; $proof$ = 
sent7 -> int1: if the fact that the Mam is a kind of a tonic is right then it is both not splintery and not Creole.; int1 -> hypothesis; __DISPROVED__