if the spinster is not invariable the frogbit is a Jenner.
sent1: the organism is a kind of a Fauve. sent2: if the spinster is invariable then it is latitudinal. sent3: the frogbit is invariable if the spinster is a kind of a Jenner. sent4: the nostoc is invariable if the fact that the frogbit is not latitudinal and not invariable is not right. sent5: if the spinster is latitudinal the frogbit is a Jenner. sent6: if something is a kind of a Jenner it is latitudinal. sent7: if the organism is a Fauve then it is a Cephalopterus.
the nostoc is invariable.
sent7 & sent1 -> int1: the organism is a kind of a Cephalopterus.; int1 -> int2: something is a Cephalopterus.;
$hypothesis$ = if the spinster is not invariable the frogbit is a Jenner. ; $context$ = sent1: the organism is a kind of a Fauve. sent2: if the spinster is invariable then it is latitudinal. sent3: the frogbit is invariable if the spinster is a kind of a Jenner. sent4: the nostoc is invariable if the fact that the frogbit is not latitudinal and not invariable is not right. sent5: if the spinster is latitudinal the frogbit is a Jenner. sent6: if something is a kind of a Jenner it is latitudinal. sent7: if the organism is a Fauve then it is a Cephalopterus. ; $proof$ = 
__UNKNOWN__