the fact that there exists something such that if it is a brickwork and it is not a corker it does not satiate is false.
sent1: there exists something such that if it is a kind of a brickwork that is a corker it is not satiate. sent2: if the Shiite is a Heterocephalus but it is not a mailsorter then it does not mark prod. sent3: if something is a brickwork and is not a corker the fact that it satiates is correct. sent4: there exists something such that if it preoccupies tinning and it is not radiotelephonic it is not mortal. sent5: there exists something such that if it is a brickwork and is not a kind of a corker that it does satiate hold. sent6: if the Hall is both a brickwork and not a corker then it satiates. sent7: if the Hall is satiate thing that is not a generic then it does not mark chamber. sent8: if something is both satiate and not a ascospore the fact that it does not preoccupy chauffeur is true. sent9: the Hall does not satiate if it is a brickwork and a corker. sent10: if a brickwork is not a corker then it is not satiate. sent11: something does not satiate if it is a kind of a brickwork that is a kind of a corker.
sent10 -> int1: the Hall is not satiate if it is a brickwork and is not a kind of a corker.; int1 -> hypothesis;
if the video is both satiate and not a ascospore then it does not preoccupy chauffeur.
sent8 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it is a brickwork and it is not a corker it does not satiate is false. ; $context$ = sent1: there exists something such that if it is a kind of a brickwork that is a corker it is not satiate. sent2: if the Shiite is a Heterocephalus but it is not a mailsorter then it does not mark prod. sent3: if something is a brickwork and is not a corker the fact that it satiates is correct. sent4: there exists something such that if it preoccupies tinning and it is not radiotelephonic it is not mortal. sent5: there exists something such that if it is a brickwork and is not a kind of a corker that it does satiate hold. sent6: if the Hall is both a brickwork and not a corker then it satiates. sent7: if the Hall is satiate thing that is not a generic then it does not mark chamber. sent8: if something is both satiate and not a ascospore the fact that it does not preoccupy chauffeur is true. sent9: the Hall does not satiate if it is a brickwork and a corker. sent10: if a brickwork is not a corker then it is not satiate. sent11: something does not satiate if it is a kind of a brickwork that is a kind of a corker. ; $proof$ = 
sent10 -> int1: the Hall is not satiate if it is a brickwork and is not a kind of a corker.; int1 -> hypothesis; __DISPROVED__