the lactobacillus is not a kind of a pisser and does queen Mankato if the lumpsucker is not a Vanbrugh.
sent1: the lumpsucker is not a Vanbrugh but a pisser if the lactobacillus does not queen Mankato. sent2: the lactobacillus does not queen Mankato but it is a kind of a Vanbrugh if the lumpsucker is not a pisser. sent3: if the fact that the lactobacillus queens Mankato is not incorrect the lumpsucker is not a Vanbrugh but it is a pisser. sent4: the lumpsucker does not queen Mankato but it is a pisser if there is something such that it is not a Vanbrugh. sent5: the lumpsucker is not a pisser but it queens Mankato if the lactobacillus is a Vanbrugh. sent6: the lactobacillus is not minor but it is retentive. sent7: the lactobacillus is not a pisser if the lumpsucker is not a Vanbrugh. sent8: there is something such that it is not a pisser. sent9: the lactobacillus is not a pisser. sent10: the lumpsucker is not a Vanbrugh but it is a kind of a pisser if there exists something such that it does not queen Mankato. sent11: the lactobacillus is not a pisser if something is not a Vanbrugh. sent12: the lumpsucker is not a Vanbrugh and is a pisser.
void -> assump1: Let's assume that the lumpsucker is not a Vanbrugh.; assump1 -> int1: something is not a Vanbrugh.;
$hypothesis$ = the lactobacillus is not a kind of a pisser and does queen Mankato if the lumpsucker is not a Vanbrugh. ; $context$ = sent1: the lumpsucker is not a Vanbrugh but a pisser if the lactobacillus does not queen Mankato. sent2: the lactobacillus does not queen Mankato but it is a kind of a Vanbrugh if the lumpsucker is not a pisser. sent3: if the fact that the lactobacillus queens Mankato is not incorrect the lumpsucker is not a Vanbrugh but it is a pisser. sent4: the lumpsucker does not queen Mankato but it is a pisser if there is something such that it is not a Vanbrugh. sent5: the lumpsucker is not a pisser but it queens Mankato if the lactobacillus is a Vanbrugh. sent6: the lactobacillus is not minor but it is retentive. sent7: the lactobacillus is not a pisser if the lumpsucker is not a Vanbrugh. sent8: there is something such that it is not a pisser. sent9: the lactobacillus is not a pisser. sent10: the lumpsucker is not a Vanbrugh but it is a kind of a pisser if there exists something such that it does not queen Mankato. sent11: the lactobacillus is not a pisser if something is not a Vanbrugh. sent12: the lumpsucker is not a Vanbrugh and is a pisser. ; $proof$ = 
void -> assump1: Let's assume that the lumpsucker is not a Vanbrugh.; assump1 -> int1: something is not a Vanbrugh.; __UNKNOWN__