the Erie is not a kind of a hippoboscid if the dell is a kind of a mouth.
sent1: the dell is a hippoboscid. sent2: the dell is not non-malign. sent3: the Erie is not Bolivian. sent4: the fact that the Erie is not a mouth if the dell is a kind of a julep is not false. sent5: the Erie is a kind of a hippoboscid and is a julep. sent6: if the dell is a hippoboscid then the Erie is a julep. sent7: the Erie is a julep. sent8: the Erie is a hippoboscid. sent9: the dartboard is a kind of a hippoboscid. sent10: something that does not bury cavalcade is a kind of a julep and is a mouth. sent11: the Erie is a julep and is a kind of a hippoboscid. sent12: the Erie is not a hippoboscid if the dell is a mouth that is a julep. sent13: the Erie is a hippoboscid if the fact that the dell is a mouth is correct. sent14: if the Erie is a hippoboscid and it is a mouth then the dell is not a julep. sent15: the dell is sentential and it is a kind of a curmudgeon. sent16: the dell is a julep. sent17: the Erie is a julep and it is holophytic. sent18: if the dell is a hippoboscid then the Erie is not a mouth. sent19: the thistle is a hippoboscid and it is a kind of a Weld. sent20: if something is sentential either it is a section or it is not a acatalectic or both. sent21: if the dell is both a mouth and a julep the Erie is a hippoboscid. sent22: if something is a section it does not bury cavalcade.
void -> assump1: Let's assume that the dell is a mouth.; assump1 & sent16 -> int1: the dell is a mouth and a julep.; sent12 & int1 -> int2: the fact that the Erie is not a kind of a hippoboscid is right.; [assump1] & int2 -> hypothesis;
the scuffle is a kind of a hippoboscid.
sent10 -> int3: the dell is a kind of a julep and is a kind of a mouth if it does not bury cavalcade.; sent20 -> int4: if the dell is sentential then it is a section or it is not a acatalectic or both.; sent15 -> int5: the dell is sentential.; int4 & int5 -> int6: the dell is a section and/or it is not a acatalectic.; sent22 -> int7: the dell does not bury cavalcade if it is a section.;
$hypothesis$ = the Erie is not a kind of a hippoboscid if the dell is a kind of a mouth. ; $context$ = sent1: the dell is a hippoboscid. sent2: the dell is not non-malign. sent3: the Erie is not Bolivian. sent4: the fact that the Erie is not a mouth if the dell is a kind of a julep is not false. sent5: the Erie is a kind of a hippoboscid and is a julep. sent6: if the dell is a hippoboscid then the Erie is a julep. sent7: the Erie is a julep. sent8: the Erie is a hippoboscid. sent9: the dartboard is a kind of a hippoboscid. sent10: something that does not bury cavalcade is a kind of a julep and is a mouth. sent11: the Erie is a julep and is a kind of a hippoboscid. sent12: the Erie is not a hippoboscid if the dell is a mouth that is a julep. sent13: the Erie is a hippoboscid if the fact that the dell is a mouth is correct. sent14: if the Erie is a hippoboscid and it is a mouth then the dell is not a julep. sent15: the dell is sentential and it is a kind of a curmudgeon. sent16: the dell is a julep. sent17: the Erie is a julep and it is holophytic. sent18: if the dell is a hippoboscid then the Erie is not a mouth. sent19: the thistle is a hippoboscid and it is a kind of a Weld. sent20: if something is sentential either it is a section or it is not a acatalectic or both. sent21: if the dell is both a mouth and a julep the Erie is a hippoboscid. sent22: if something is a section it does not bury cavalcade. ; $proof$ = 
void -> assump1: Let's assume that the dell is a mouth.; assump1 & sent16 -> int1: the dell is a mouth and a julep.; sent12 & int1 -> int2: the fact that the Erie is not a kind of a hippoboscid is right.; [assump1] & int2 -> hypothesis; __PROVED__