that the Dubonnet does fossilize but it is non-amphitropous is not right.
sent1: the masseter is not a Artemia if the acervulus is not a limeade but it disobeys Maracay. sent2: that the masseter does not nettle tunicate and/or is a Artemia is not correct if it is not cerebral. sent3: the jigger does not nettle tunicate. sent4: if the masseter is not totipotent then the jigger is cerebral thing that does not nettle tunicate. sent5: if the jigger is not amphitropous the Dubonnet does fossilize. sent6: the masseter is a Artemia if it is totipotent. sent7: if something is not totipotent then that it does fossilize and is not amphitropous is wrong. sent8: the masseter is not cerebral if either the jigger is cerebral or it disobeys Maracay or both. sent9: if the fact that the jigger is not amphitropous is not false then the Dubonnet does fossilize but it is not amphitropous. sent10: if the jigger is cerebral and it does nettle tunicate that it is not amphitropous is true. sent11: the jigger does not nettle tunicate if the masseter is non-totipotent. sent12: that the acervulus is not a limeade is not wrong. sent13: if something is cerebral and does nettle tunicate then it is not amphitropous. sent14: the acervulus is not a kind of a limeade and does disobey Maracay. sent15: if something is a kind of cerebral thing that does not nettle tunicate it is not amphitropous.
void -> assump1: Let's assume that the masseter is totipotent.; sent6 & assump1 -> int1: the masseter is a Artemia.; sent1 & sent14 -> int2: the masseter is not a Artemia.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the masseter is not totipotent.; int4 & sent4 -> int5: the jigger is cerebral but it does not nettle tunicate.; sent15 -> int6: if the jigger is cerebral but it does not nettle tunicate then it is not amphitropous.; int5 & int6 -> int7: the fact that the jigger is not amphitropous is correct.; int7 & sent9 -> hypothesis;
the fact that the Dubonnet does fossilize but it is not amphitropous is not right.
sent7 -> int8: that the Dubonnet does fossilize and is not amphitropous is false if it is not totipotent.;
$hypothesis$ = that the Dubonnet does fossilize but it is non-amphitropous is not right. ; $context$ = sent1: the masseter is not a Artemia if the acervulus is not a limeade but it disobeys Maracay. sent2: that the masseter does not nettle tunicate and/or is a Artemia is not correct if it is not cerebral. sent3: the jigger does not nettle tunicate. sent4: if the masseter is not totipotent then the jigger is cerebral thing that does not nettle tunicate. sent5: if the jigger is not amphitropous the Dubonnet does fossilize. sent6: the masseter is a Artemia if it is totipotent. sent7: if something is not totipotent then that it does fossilize and is not amphitropous is wrong. sent8: the masseter is not cerebral if either the jigger is cerebral or it disobeys Maracay or both. sent9: if the fact that the jigger is not amphitropous is not false then the Dubonnet does fossilize but it is not amphitropous. sent10: if the jigger is cerebral and it does nettle tunicate that it is not amphitropous is true. sent11: the jigger does not nettle tunicate if the masseter is non-totipotent. sent12: that the acervulus is not a limeade is not wrong. sent13: if something is cerebral and does nettle tunicate then it is not amphitropous. sent14: the acervulus is not a kind of a limeade and does disobey Maracay. sent15: if something is a kind of cerebral thing that does not nettle tunicate it is not amphitropous. ; $proof$ = 
void -> assump1: Let's assume that the masseter is totipotent.; sent6 & assump1 -> int1: the masseter is a Artemia.; sent1 & sent14 -> int2: the masseter is not a Artemia.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the masseter is not totipotent.; int4 & sent4 -> int5: the jigger is cerebral but it does not nettle tunicate.; sent15 -> int6: if the jigger is cerebral but it does not nettle tunicate then it is not amphitropous.; int5 & int6 -> int7: the fact that the jigger is not amphitropous is correct.; int7 & sent9 -> hypothesis; __DISPROVED__