the alga is not Chadian but it is a kind of a humification.
sent1: if that the alga is a Lyrurus and is not a Eskimo is wrong then it is not a kind of a tungsten. sent2: that the alga is a Lyrurus but it is not a Eskimo is wrong.
sent1 & sent2 -> int1: the alga is not a tungsten.;
$hypothesis$ = the alga is not Chadian but it is a kind of a humification. ; $context$ = sent1: if that the alga is a Lyrurus and is not a Eskimo is wrong then it is not a kind of a tungsten. sent2: that the alga is a Lyrurus but it is not a Eskimo is wrong. ; $proof$ = 
sent1 & sent2 -> int1: the alga is not a tungsten.; __UNKNOWN__