there is something such that if it does sweep it sights grama.
sent1: if that the grama is a sweeping is not wrong it is a kind of a factor. sent2: the grama does sight grama if it is a kind of a sweeping. sent3: something is a kind of a Shinto if it is a kind of a foothold. sent4: something is unequivocal if it grooves exhumation. sent5: there is something such that if it does interlock it is a kind of a Leacock. sent6: there is something such that if it is euphoric then it is lethargic. sent7: if something is sturdy it shreds. sent8: if the grama is a kind of a suavity it sights oracle.
sent2 -> hypothesis;
there exists something such that if it is sturdy it is a shred.
sent7 -> int1: that the calla is the shred if the calla is sturdy is not false.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it does sweep it sights grama. ; $context$ = sent1: if that the grama is a sweeping is not wrong it is a kind of a factor. sent2: the grama does sight grama if it is a kind of a sweeping. sent3: something is a kind of a Shinto if it is a kind of a foothold. sent4: something is unequivocal if it grooves exhumation. sent5: there is something such that if it does interlock it is a kind of a Leacock. sent6: there is something such that if it is euphoric then it is lethargic. sent7: if something is sturdy it shreds. sent8: if the grama is a kind of a suavity it sights oracle. ; $proof$ = 
sent2 -> hypothesis; __PROVED__