the Muscadet is a schoolteacher but it is not viricidal.
sent1: if the position is a fencing it is mercantile and it does not spend deference. sent2: everything is not a stewardship but testicular. sent3: the Muscadet is a schoolteacher that is not viricidal if the diver does labor reincarnationism. sent4: if the nosewheel is both not a stewardship and testicular then the diver is a aridity. sent5: the Muscadet is a schoolteacher. sent6: if the diver does not labor Bermudan that it does not rehabilitate verso and does not labor reincarnationism is incorrect. sent7: something is a lamented if it is mercantile and it does not spend deference. sent8: if the diver is not a aridity the fact that the Muscadet is a schoolteacher and is not viricidal is false. sent9: everything is not a stewardship. sent10: the position is an undergraduate and a fencing. sent11: the nosewheel does not rehabilitate glass but it is a schoolteacher. sent12: if something is a kind of a aridity it does labor reincarnationism. sent13: the diver is a aridity if the nosewheel is both a stewardship and testicular. sent14: the suffragan is a kind of a aridity. sent15: the nosewheel is not a stewardship. sent16: if the diver labors reincarnationism then the Muscadet is a schoolteacher.
sent2 -> int1: the nosewheel is not a stewardship but it is testicular.; int1 & sent4 -> int2: the diver is a aridity.; sent12 -> int3: that if that the diver is a kind of the aridity hold then the diver labors reincarnationism is not false.; int2 & int3 -> int4: the diver labors reincarnationism.; int4 & sent3 -> hypothesis;
that the Muscadet is a schoolteacher and is not viricidal is not correct.
sent7 -> int5: if the position is a kind of mercantile thing that does not spend deference then it laments.; sent10 -> int6: the position fences.; sent1 & int6 -> int7: the position is mercantile and does not spend deference.; int5 & int7 -> int8: the position is a lamented.; int8 -> int9: there exists something such that it is a kind of a lamented.;
$hypothesis$ = the Muscadet is a schoolteacher but it is not viricidal. ; $context$ = sent1: if the position is a fencing it is mercantile and it does not spend deference. sent2: everything is not a stewardship but testicular. sent3: the Muscadet is a schoolteacher that is not viricidal if the diver does labor reincarnationism. sent4: if the nosewheel is both not a stewardship and testicular then the diver is a aridity. sent5: the Muscadet is a schoolteacher. sent6: if the diver does not labor Bermudan that it does not rehabilitate verso and does not labor reincarnationism is incorrect. sent7: something is a lamented if it is mercantile and it does not spend deference. sent8: if the diver is not a aridity the fact that the Muscadet is a schoolteacher and is not viricidal is false. sent9: everything is not a stewardship. sent10: the position is an undergraduate and a fencing. sent11: the nosewheel does not rehabilitate glass but it is a schoolteacher. sent12: if something is a kind of a aridity it does labor reincarnationism. sent13: the diver is a aridity if the nosewheel is both a stewardship and testicular. sent14: the suffragan is a kind of a aridity. sent15: the nosewheel is not a stewardship. sent16: if the diver labors reincarnationism then the Muscadet is a schoolteacher. ; $proof$ = 
sent2 -> int1: the nosewheel is not a stewardship but it is testicular.; int1 & sent4 -> int2: the diver is a aridity.; sent12 -> int3: that if that the diver is a kind of the aridity hold then the diver labors reincarnationism is not false.; int2 & int3 -> int4: the diver labors reincarnationism.; int4 & sent3 -> hypothesis; __PROVED__