the bacillus does not devote.
sent1: the tossup is not a Lippizan if the fact that the bacillus does not devote and is a kind of a used is wrong. sent2: the hawk's-beard is meteoric.
void -> assump1: Let's assume that the fact that the bacillus does not devote and does use is not true.; sent1 & assump1 -> int1: the tossup is not a kind of a Lippizan.;
$hypothesis$ = the bacillus does not devote. ; $context$ = sent1: the tossup is not a Lippizan if the fact that the bacillus does not devote and is a kind of a used is wrong. sent2: the hawk's-beard is meteoric. ; $proof$ = 
void -> assump1: Let's assume that the fact that the bacillus does not devote and does use is not true.; sent1 & assump1 -> int1: the tossup is not a kind of a Lippizan.; __UNKNOWN__