the fascicle does not overstrain Dard and is not callithumpian.
sent1: that something does not manifest decisiveness and is practical is not correct if it is callithumpian. sent2: if the fascicle is a Zambian then it overstrains Dard. sent3: the menial is not a Zambian if the fascicle is callithumpian but it is not a Rasht. sent4: the fact that the billionaire is not callithumpian is correct. sent5: if that the menial is anodic is not incorrect then it is practical. sent6: the floorboard is callithumpian if it is a Rasht. sent7: if the fascicle is an exaggeration then the meprobamate is callithumpian. sent8: that something does not overstrain Dard and is not callithumpian is wrong if it is a kind of a Rasht. sent9: something is anodic if it is paschal. sent10: if the rigging does hand Shostakovich and is a kind of a conceptualization then the meprobamate is not a conceptualization. sent11: the billionaire is paschal if the fact that the menial is practical is correct. sent12: if the meprobamate is not a conceptualization that it is not a imbrication and it is a kind of an exaggeration is not true. sent13: the fact that the meprobamate is a conceptualization is not false if it is not anodic. sent14: the fascicle is not a kind of a Rasht. sent15: if something is not a Zambian then it is practical. sent16: if the fact that the meprobamate is not a kind of a imbrication and is a kind of an exaggeration is false then the fascicle does not overstrain Dard. sent17: the rigging does hand Shostakovich and is a conceptualization. sent18: the menial is not callithumpian if the rigging is a Zambian but it is not a kind of a conceptualization.
void -> assump1: Let's assume that the fascicle is callithumpian.; assump1 & sent14 -> int1: the fascicle is callithumpian and is not a Rasht.; int1 & sent3 -> int2: the menial is not a kind of a Zambian.; sent15 -> int3: the menial is practical if it is not a Zambian.; int2 & int3 -> int4: the menial is practical.; int4 & sent11 -> int5: the billionaire is paschal.; sent9 -> int6: if the billionaire is paschal it is anodic.; int5 & int6 -> int7: the billionaire is anodic.; sent10 & sent17 -> int8: the meprobamate is not a conceptualization.; sent12 & int8 -> int9: the fact that the meprobamate is not a imbrication and is a kind of an exaggeration is not right.; sent16 & int9 -> int10: the fascicle does not overstrain Dard.;
that the fascicle does not overstrain Dard and it is not callithumpian is not true.
sent8 -> int11: if the fascicle is a Rasht that it does not overstrain Dard and it is not callithumpian is not correct.;
$hypothesis$ = the fascicle does not overstrain Dard and is not callithumpian. ; $context$ = sent1: that something does not manifest decisiveness and is practical is not correct if it is callithumpian. sent2: if the fascicle is a Zambian then it overstrains Dard. sent3: the menial is not a Zambian if the fascicle is callithumpian but it is not a Rasht. sent4: the fact that the billionaire is not callithumpian is correct. sent5: if that the menial is anodic is not incorrect then it is practical. sent6: the floorboard is callithumpian if it is a Rasht. sent7: if the fascicle is an exaggeration then the meprobamate is callithumpian. sent8: that something does not overstrain Dard and is not callithumpian is wrong if it is a kind of a Rasht. sent9: something is anodic if it is paschal. sent10: if the rigging does hand Shostakovich and is a kind of a conceptualization then the meprobamate is not a conceptualization. sent11: the billionaire is paschal if the fact that the menial is practical is correct. sent12: if the meprobamate is not a conceptualization that it is not a imbrication and it is a kind of an exaggeration is not true. sent13: the fact that the meprobamate is a conceptualization is not false if it is not anodic. sent14: the fascicle is not a kind of a Rasht. sent15: if something is not a Zambian then it is practical. sent16: if the fact that the meprobamate is not a kind of a imbrication and is a kind of an exaggeration is false then the fascicle does not overstrain Dard. sent17: the rigging does hand Shostakovich and is a conceptualization. sent18: the menial is not callithumpian if the rigging is a Zambian but it is not a kind of a conceptualization. ; $proof$ = 
void -> assump1: Let's assume that the fascicle is callithumpian.; assump1 & sent14 -> int1: the fascicle is callithumpian and is not a Rasht.; int1 & sent3 -> int2: the menial is not a kind of a Zambian.; sent15 -> int3: the menial is practical if it is not a Zambian.; int2 & int3 -> int4: the menial is practical.; int4 & sent11 -> int5: the billionaire is paschal.; sent9 -> int6: if the billionaire is paschal it is anodic.; int5 & int6 -> int7: the billionaire is anodic.; sent10 & sent17 -> int8: the meprobamate is not a conceptualization.; sent12 & int8 -> int9: the fact that the meprobamate is not a imbrication and is a kind of an exaggeration is not right.; sent16 & int9 -> int10: the fascicle does not overstrain Dard.; __UNKNOWN__