if the arrowworm is not aeronautical the fact that the coccobacillus is not a kind of a supination and is a kind of a logarithm is not true.
sent1: if that the item is not a dol and does not consider insalubrity is false then the fact that the arrowworm is aeronautical is right. sent2: if the candlesnuffer is not a kind of a supination the fact that the coccobacillus is not a supination but it is a logarithm is incorrect. sent3: if the fact that the arrowworm is not aeronautical hold that the coccobacillus is a kind of a supination and it is a logarithm is false.
void -> assump1: Let's assume that the candlesnuffer is a supination.;
$hypothesis$ = if the arrowworm is not aeronautical the fact that the coccobacillus is not a kind of a supination and is a kind of a logarithm is not true. ; $context$ = sent1: if that the item is not a dol and does not consider insalubrity is false then the fact that the arrowworm is aeronautical is right. sent2: if the candlesnuffer is not a kind of a supination the fact that the coccobacillus is not a supination but it is a logarithm is incorrect. sent3: if the fact that the arrowworm is not aeronautical hold that the coccobacillus is a kind of a supination and it is a logarithm is false. ; $proof$ = 
void -> assump1: Let's assume that the candlesnuffer is a supination.; __UNKNOWN__