the sapsucker Frenches bumboat.
sent1: the primary is not a winnow if something is not late and plots tormentor. sent2: something that does snick Mantispidae or is a kind of a peripatetic or both is not alkahestic. sent3: the microbat does snick Mantispidae and Frenches bumboat if the sapsucker does not snick Mantispidae. sent4: the microbat does snick Mantispidae if that the revolver is not late but it does plot tormentor is wrong. sent5: if the microbat is a kind of a peripatetic it is not alkahestic. sent6: the sapsucker snicks Mantispidae and winnows if the microbat does not snicks Mantispidae. sent7: if the primary is not a winnow the sapsucker does winnow and it does French bumboat. sent8: something is non-alkahestic if it is peripatetic. sent9: that something is alkahestic and it is a kind of a winnow is not wrong. sent10: there is something such that it is a kind of late thing that does plot tormentor. sent11: the revolver does not snick Mantispidae.
void -> assump1: Let's assume that the fact that the revolver is not late but it plots tormentor is not true.; sent4 & assump1 -> int1: the fact that the microbat snicks Mantispidae hold.; int1 -> int2: the microbat does snick Mantispidae or it is not non-peripatetic or both.; sent2 -> int3: if the microbat snicks Mantispidae and/or it is a kind of a peripatetic then it is not alkahestic.; int2 & int3 -> int4: the microbat is not alkahestic.;
$hypothesis$ = the sapsucker Frenches bumboat. ; $context$ = sent1: the primary is not a winnow if something is not late and plots tormentor. sent2: something that does snick Mantispidae or is a kind of a peripatetic or both is not alkahestic. sent3: the microbat does snick Mantispidae and Frenches bumboat if the sapsucker does not snick Mantispidae. sent4: the microbat does snick Mantispidae if that the revolver is not late but it does plot tormentor is wrong. sent5: if the microbat is a kind of a peripatetic it is not alkahestic. sent6: the sapsucker snicks Mantispidae and winnows if the microbat does not snicks Mantispidae. sent7: if the primary is not a winnow the sapsucker does winnow and it does French bumboat. sent8: something is non-alkahestic if it is peripatetic. sent9: that something is alkahestic and it is a kind of a winnow is not wrong. sent10: there is something such that it is a kind of late thing that does plot tormentor. sent11: the revolver does not snick Mantispidae. ; $proof$ = 
void -> assump1: Let's assume that the fact that the revolver is not late but it plots tormentor is not true.; sent4 & assump1 -> int1: the fact that the microbat snicks Mantispidae hold.; int1 -> int2: the microbat does snick Mantispidae or it is not non-peripatetic or both.; sent2 -> int3: if the microbat snicks Mantispidae and/or it is a kind of a peripatetic then it is not alkahestic.; int2 & int3 -> int4: the microbat is not alkahestic.; __UNKNOWN__