that the mammalogist does not top if the vehicle does master touched and it is a lappet is not true.
sent1: the mammalogist is a topping. sent2: the mammalogist is not topping if the altazimuth is a secobarbital but it is not Australasian. sent3: if the vehicle is frivolous then the motorboat is not a secobarbital. sent4: if something does not master touched then it is not evolutionary and/or is a pontifical. sent5: the altazimuth is not a kind of a secobarbital. sent6: the spearmint does not master touched if something is a jocundity that is a kind of a lappet. sent7: if the vehicle is a kind of a jocundity it is not a preemptor. sent8: the mammalogist tops if the altazimuth is not a kind of a secobarbital and is not Australasian. sent9: the vehicle is a sander or it is a kind of a secobarbital or both. sent10: the vehicle is not a preemptor if either it is a lappet or it is a jocundity or both. sent11: if the vehicle is not a kind of a secobarbital and/or it is a kind of a lappet the motorboat is not a jocundity. sent12: the mammalogist is a topping if the vehicle masters touched and it is a lappet. sent13: if the motorboat is not a secobarbital then the altazimuth is not a secobarbital. sent14: the altazimuth is not a secobarbital and is not Australasian if the motorboat is not a secobarbital. sent15: if the altazimuth is not a secobarbital and it is not Australasian then the mammalogist is not a kind of a topping. sent16: if the vehicle is not a preemptor or is frivolous or both the motorboat is not a kind of a secobarbital. sent17: the vehicle masters touched.
void -> assump1: Let's assume that the vehicle does master touched and it is a kind of a lappet.; assump1 -> int1: the vehicle is a kind of a lappet.; int1 -> int2: either the vehicle is a kind of a lappet or it is a jocundity or both.; int2 & sent10 -> int3: that the vehicle is not a kind of a preemptor is correct.; int3 -> int4: the vehicle is not a kind of a preemptor and/or it is frivolous.; int4 & sent16 -> int5: the motorboat is not a kind of a secobarbital.; int5 & sent14 -> int6: the altazimuth is both not a secobarbital and not Australasian.; int6 & sent15 -> int7: the mammalogist is not a topping.; [assump1] & int7 -> hypothesis;
the spearmint is non-evolutionary and/or it is a pontifical.
sent4 -> int8: if the spearmint does not master touched then it is not evolutionary and/or it is a pontifical.;
$hypothesis$ = that the mammalogist does not top if the vehicle does master touched and it is a lappet is not true. ; $context$ = sent1: the mammalogist is a topping. sent2: the mammalogist is not topping if the altazimuth is a secobarbital but it is not Australasian. sent3: if the vehicle is frivolous then the motorboat is not a secobarbital. sent4: if something does not master touched then it is not evolutionary and/or is a pontifical. sent5: the altazimuth is not a kind of a secobarbital. sent6: the spearmint does not master touched if something is a jocundity that is a kind of a lappet. sent7: if the vehicle is a kind of a jocundity it is not a preemptor. sent8: the mammalogist tops if the altazimuth is not a kind of a secobarbital and is not Australasian. sent9: the vehicle is a sander or it is a kind of a secobarbital or both. sent10: the vehicle is not a preemptor if either it is a lappet or it is a jocundity or both. sent11: if the vehicle is not a kind of a secobarbital and/or it is a kind of a lappet the motorboat is not a jocundity. sent12: the mammalogist is a topping if the vehicle masters touched and it is a lappet. sent13: if the motorboat is not a secobarbital then the altazimuth is not a secobarbital. sent14: the altazimuth is not a secobarbital and is not Australasian if the motorboat is not a secobarbital. sent15: if the altazimuth is not a secobarbital and it is not Australasian then the mammalogist is not a kind of a topping. sent16: if the vehicle is not a preemptor or is frivolous or both the motorboat is not a kind of a secobarbital. sent17: the vehicle masters touched. ; $proof$ = 
void -> assump1: Let's assume that the vehicle does master touched and it is a kind of a lappet.; assump1 -> int1: the vehicle is a kind of a lappet.; int1 -> int2: either the vehicle is a kind of a lappet or it is a jocundity or both.; int2 & sent10 -> int3: that the vehicle is not a kind of a preemptor is correct.; int3 -> int4: the vehicle is not a kind of a preemptor and/or it is frivolous.; int4 & sent16 -> int5: the motorboat is not a kind of a secobarbital.; int5 & sent14 -> int6: the altazimuth is both not a secobarbital and not Australasian.; int6 & sent15 -> int7: the mammalogist is not a topping.; [assump1] & int7 -> hypothesis; __DISPROVED__