that the fact that the Drixoral does knead and is not a cauliflower does not hold if the Amhara is not non-peninsular is not wrong.
sent1: that the Amhara is a cauliflower and it is peninsular is wrong if the Drixoral is not peninsular. sent2: if the phonetician is a cauliflower and it is a Palaemonidae then it does not knead. sent3: if the Amhara is not a kind of a Palaemonidae then the fact that the Drixoral is not peninsular hold. sent4: the fact that the Amhara is not peninsular is not wrong if the fact that the phonetician is emotional and it is a Palaemonidae is false. sent5: something that kneads and is a cauliflower is not a Palaemonidae. sent6: the phonetician is a cauliflower. sent7: the fact that the Drixoral kneads and it is a cauliflower does not hold. sent8: if the Drixoral is emotional the phonetician is a Palaemonidae but it does not knead. sent9: if the Amhara is peninsular then the fact that the Drixoral does knead and is a cauliflower is not correct. sent10: the phonetician is not peninsular. sent11: the Amhara is emotional. sent12: that the fact that the Drixoral is a cauliflower but it is not emotional is true is wrong. sent13: if the fact that the phonetician is peninsular is correct then the fact that the Amhara is emotional but it is not a Palaemonidae does not hold. sent14: the Drixoral is not a cauliflower. sent15: the phonetician does not knead if the Drixoral is not emotional. sent16: the Drixoral is emotional and is not a cauliflower. sent17: if the Drixoral kneads then the fact that the phonetician is both emotional and not a cauliflower is not right. sent18: that the phonetician is both a Palaemonidae and peninsular is wrong if the Amhara is not peninsular. sent19: the Amhara is not peninsular if the phonetician is not a Palaemonidae. sent20: something is not a Palaemonidae if it kneads and is not a kind of a cauliflower. sent21: that the Drixoral kneads is not wrong.
void -> assump1: Let's assume that the Amhara is peninsular.; sent20 -> int1: the Drixoral is not a Palaemonidae if it kneads and it is not a cauliflower.; void -> assump2: Let's assume that the Drixoral kneads but it is not a cauliflower.; int1 & assump2 -> int2: the Drixoral is not a Palaemonidae.;
$hypothesis$ = that the fact that the Drixoral does knead and is not a cauliflower does not hold if the Amhara is not non-peninsular is not wrong. ; $context$ = sent1: that the Amhara is a cauliflower and it is peninsular is wrong if the Drixoral is not peninsular. sent2: if the phonetician is a cauliflower and it is a Palaemonidae then it does not knead. sent3: if the Amhara is not a kind of a Palaemonidae then the fact that the Drixoral is not peninsular hold. sent4: the fact that the Amhara is not peninsular is not wrong if the fact that the phonetician is emotional and it is a Palaemonidae is false. sent5: something that kneads and is a cauliflower is not a Palaemonidae. sent6: the phonetician is a cauliflower. sent7: the fact that the Drixoral kneads and it is a cauliflower does not hold. sent8: if the Drixoral is emotional the phonetician is a Palaemonidae but it does not knead. sent9: if the Amhara is peninsular then the fact that the Drixoral does knead and is a cauliflower is not correct. sent10: the phonetician is not peninsular. sent11: the Amhara is emotional. sent12: that the fact that the Drixoral is a cauliflower but it is not emotional is true is wrong. sent13: if the fact that the phonetician is peninsular is correct then the fact that the Amhara is emotional but it is not a Palaemonidae does not hold. sent14: the Drixoral is not a cauliflower. sent15: the phonetician does not knead if the Drixoral is not emotional. sent16: the Drixoral is emotional and is not a cauliflower. sent17: if the Drixoral kneads then the fact that the phonetician is both emotional and not a cauliflower is not right. sent18: that the phonetician is both a Palaemonidae and peninsular is wrong if the Amhara is not peninsular. sent19: the Amhara is not peninsular if the phonetician is not a Palaemonidae. sent20: something is not a Palaemonidae if it kneads and is not a kind of a cauliflower. sent21: that the Drixoral kneads is not wrong. ; $proof$ = 
void -> assump1: Let's assume that the Amhara is peninsular.; sent20 -> int1: the Drixoral is not a Palaemonidae if it kneads and it is not a cauliflower.; void -> assump2: Let's assume that the Drixoral kneads but it is not a cauliflower.; int1 & assump2 -> int2: the Drixoral is not a Palaemonidae.; __UNKNOWN__