the fact that there exists something such that it is a kind of a seaward and it is a kind of a sierra is not right.
sent1: there are trinucleate things. sent2: the liver is indeterminate and it does yodel Oblation. sent3: the mescaline is a Thuringia. sent4: something is a macaque and it is tactical. sent5: something is a sierra. sent6: there exists something such that it is a kind of a Austrian and it is not a kind of a redbelly. sent7: there exists something such that it is not a fan. sent8: something is a kind of a seaward and is not a kind of a Thuringia. sent9: the trunk is a kind of carnivorous a sierra. sent10: if something is trinucleate and not a fan the beachball is a seaward. sent11: the Apache shoves and it is not non-trinucleate. sent12: there exists something such that it is trinucleate and it is not a fan. sent13: there exists something such that it is seaward. sent14: the beachball is a kind of carnivorous a SEAL. sent15: something is a Thuringia but it is not a sierra. sent16: something is trinucleate and it fans. sent17: the beachball is a kind of a Thuringia. sent18: that the beachball is a kind of a Thuringia and it is a sierra is not false.
sent12 & sent10 -> int1: the beachball is seaward.; sent18 -> int2: the fact that the beachball is a sierra hold.; int1 & int2 -> int3: the beachball is a kind of seaward thing that is a kind of a sierra.; int3 -> hypothesis;
$hypothesis$ = the fact that there exists something such that it is a kind of a seaward and it is a kind of a sierra is not right. ; $context$ = sent1: there are trinucleate things. sent2: the liver is indeterminate and it does yodel Oblation. sent3: the mescaline is a Thuringia. sent4: something is a macaque and it is tactical. sent5: something is a sierra. sent6: there exists something such that it is a kind of a Austrian and it is not a kind of a redbelly. sent7: there exists something such that it is not a fan. sent8: something is a kind of a seaward and is not a kind of a Thuringia. sent9: the trunk is a kind of carnivorous a sierra. sent10: if something is trinucleate and not a fan the beachball is a seaward. sent11: the Apache shoves and it is not non-trinucleate. sent12: there exists something such that it is trinucleate and it is not a fan. sent13: there exists something such that it is seaward. sent14: the beachball is a kind of carnivorous a SEAL. sent15: something is a Thuringia but it is not a sierra. sent16: something is trinucleate and it fans. sent17: the beachball is a kind of a Thuringia. sent18: that the beachball is a kind of a Thuringia and it is a sierra is not false. ; $proof$ = 
sent12 & sent10 -> int1: the beachball is seaward.; sent18 -> int2: the fact that the beachball is a sierra hold.; int1 & int2 -> int3: the beachball is a kind of seaward thing that is a kind of a sierra.; int3 -> hypothesis; __DISPROVED__