that if the Moloch canes clarification the dot does void jewfish does not hold.
sent1: the dot does cane clarification if the Moloch does void jewfish. sent2: if the Moloch does void jewfish the dot does cane Emydidae. sent3: if the Moloch does cane Emydidae the dot voids jewfish. sent4: the dot voids jewfish if that the headpin does cane clarification is right. sent5: if the Moloch does void jewfish it does cane clarification. sent6: that the dot does cane clarification hold. sent7: if the dot does cane Emydidae the Moloch does void jewfish. sent8: if the Moloch does cane Emydidae the dot does cane clarification. sent9: if the dot canes clarification the Moloch voids jewfish. sent10: if the dot voids jewfish then the fact that it canes clarification hold. sent11: a Sukur either does not cane Emydidae or does not cane clarification or both. sent12: the Moloch is a lighterman if it voids jewfish. sent13: the dot canes Emydidae if the Moloch canes clarification. sent14: the Stayman canes clarification. sent15: if the Moloch does cane clarification it canes Emydidae. sent16: the ammeter canes clarification. sent17: the Moloch voids jewfish.
void -> assump1: Let's assume that the Moloch canes clarification.; sent15 & assump1 -> int1: the Moloch does cane Emydidae.; sent3 & int1 -> int2: the dot voids jewfish.; [assump1] & int2 -> hypothesis;
the Venushair voids jewfish.
sent11 -> int3: the Moloch does not cane Emydidae or does not cane clarification or both if it is a kind of a Sukur.;
$hypothesis$ = that if the Moloch canes clarification the dot does void jewfish does not hold. ; $context$ = sent1: the dot does cane clarification if the Moloch does void jewfish. sent2: if the Moloch does void jewfish the dot does cane Emydidae. sent3: if the Moloch does cane Emydidae the dot voids jewfish. sent4: the dot voids jewfish if that the headpin does cane clarification is right. sent5: if the Moloch does void jewfish it does cane clarification. sent6: that the dot does cane clarification hold. sent7: if the dot does cane Emydidae the Moloch does void jewfish. sent8: if the Moloch does cane Emydidae the dot does cane clarification. sent9: if the dot canes clarification the Moloch voids jewfish. sent10: if the dot voids jewfish then the fact that it canes clarification hold. sent11: a Sukur either does not cane Emydidae or does not cane clarification or both. sent12: the Moloch is a lighterman if it voids jewfish. sent13: the dot canes Emydidae if the Moloch canes clarification. sent14: the Stayman canes clarification. sent15: if the Moloch does cane clarification it canes Emydidae. sent16: the ammeter canes clarification. sent17: the Moloch voids jewfish. ; $proof$ = 
void -> assump1: Let's assume that the Moloch canes clarification.; sent15 & assump1 -> int1: the Moloch does cane Emydidae.; sent3 & int1 -> int2: the dot voids jewfish.; [assump1] & int2 -> hypothesis; __DISPROVED__