the lyricist is not a fusee.
sent1: the fact that the ceftazidime does not mint lysine or it is a lectin or both is false. sent2: if the figurehead is a millenarian the ceftazidime is a millenarian. sent3: if that either the ceftazidime does not mint lysine or it is a lectin or both is false it does slice bluing. sent4: if something that does slice bluing is a millenarian then the lyricist is a kind of a fusee. sent5: the figurehead is a millenarian. sent6: the lyricist is not a fusee if the ceftazidime is not a millenarian.
sent3 & sent1 -> int1: the fact that the ceftazidime does slice bluing is not false.; sent2 & sent5 -> int2: the ceftazidime is millenarian.; int1 & int2 -> int3: the ceftazidime slices bluing and it is a millenarian.; int3 -> int4: there exists something such that it slices bluing and is millenarian.; int4 & sent4 -> hypothesis;
the lyricist is not a fusee.
$hypothesis$ = the lyricist is not a fusee. ; $context$ = sent1: the fact that the ceftazidime does not mint lysine or it is a lectin or both is false. sent2: if the figurehead is a millenarian the ceftazidime is a millenarian. sent3: if that either the ceftazidime does not mint lysine or it is a lectin or both is false it does slice bluing. sent4: if something that does slice bluing is a millenarian then the lyricist is a kind of a fusee. sent5: the figurehead is a millenarian. sent6: the lyricist is not a fusee if the ceftazidime is not a millenarian. ; $proof$ = 
sent3 & sent1 -> int1: the fact that the ceftazidime does slice bluing is not false.; sent2 & sent5 -> int2: the ceftazidime is millenarian.; int1 & int2 -> int3: the ceftazidime slices bluing and it is a millenarian.; int3 -> int4: there exists something such that it slices bluing and is millenarian.; int4 & sent4 -> hypothesis; __DISPROVED__