the scrawler is non-canicular.
sent1: the fact that the scrawler is not canicular is right if it is contralateral and it is a kind of a Empetraceae. sent2: the scrawler is canicular if the fact that the trekker is not contralateral and not canicular is wrong. sent3: the tallgrass is bellyless and a sublimity. sent4: if something that is not a kind of a September is not a kind of a blood the trekker is not contralateral. sent5: that that the guitar is a Empetraceae that is not a causality is incorrect is not incorrect. sent6: the volatile is both not a September and not a blood. sent7: if the trekker is non-contralateral the scrawler is non-contralateral and is a sublimity. sent8: the scrawler is not contralateral if something is non-canicular thing that is not a kind of a blood. sent9: if that the guitar is a Empetraceae but it is not a causality is incorrect then the scrawler is a Empetraceae.
sent6 -> int1: something is not a kind of a September and is not a blood.; int1 & sent4 -> int2: the fact that the trekker is not contralateral is right.; int2 & sent7 -> int3: the scrawler is contralateral thing that is a sublimity.; int3 -> int4: the scrawler is contralateral.; sent9 & sent5 -> int5: the scrawler is a kind of a Empetraceae.; int4 & int5 -> int6: the scrawler is contralateral and it is a Empetraceae.; int6 & sent1 -> hypothesis;
the scrawler is canicular.
$hypothesis$ = the scrawler is non-canicular. ; $context$ = sent1: the fact that the scrawler is not canicular is right if it is contralateral and it is a kind of a Empetraceae. sent2: the scrawler is canicular if the fact that the trekker is not contralateral and not canicular is wrong. sent3: the tallgrass is bellyless and a sublimity. sent4: if something that is not a kind of a September is not a kind of a blood the trekker is not contralateral. sent5: that that the guitar is a Empetraceae that is not a causality is incorrect is not incorrect. sent6: the volatile is both not a September and not a blood. sent7: if the trekker is non-contralateral the scrawler is non-contralateral and is a sublimity. sent8: the scrawler is not contralateral if something is non-canicular thing that is not a kind of a blood. sent9: if that the guitar is a Empetraceae but it is not a causality is incorrect then the scrawler is a Empetraceae. ; $proof$ = 
sent6 -> int1: something is not a kind of a September and is not a blood.; int1 & sent4 -> int2: the fact that the trekker is not contralateral is right.; int2 & sent7 -> int3: the scrawler is contralateral thing that is a sublimity.; int3 -> int4: the scrawler is contralateral.; sent9 & sent5 -> int5: the scrawler is a kind of a Empetraceae.; int4 & int5 -> int6: the scrawler is contralateral and it is a Empetraceae.; int6 & sent1 -> hypothesis; __PROVED__