that there is something such that if it does beat Sanguinaria it is not a light-year and it is not a kind of a little is not right.
sent1: if something does beat Sanguinaria it is not a light-year and not little. sent2: something is not a light-year and is a kind of a little if it does beat Sanguinaria. sent3: if that the flange beats Sanguinaria hold it is not a light-year.
sent1 -> int1: if the flange does beat Sanguinaria it is not a light-year and it is not a little.; int1 -> hypothesis;
$hypothesis$ = that there is something such that if it does beat Sanguinaria it is not a light-year and it is not a kind of a little is not right. ; $context$ = sent1: if something does beat Sanguinaria it is not a light-year and not little. sent2: something is not a light-year and is a kind of a little if it does beat Sanguinaria. sent3: if that the flange beats Sanguinaria hold it is not a light-year. ; $proof$ = 
sent1 -> int1: if the flange does beat Sanguinaria it is not a light-year and it is not a little.; int1 -> hypothesis; __DISPROVED__