if the fact that the melena is a nonparticipant hold then the lumper does overpower misdeal.
sent1: if a unsociable thing does not arouse opsonin it is not a nonparticipant. sent2: the melena is washable if the lumper is unsociable. sent3: if something is not washable then the fact that it does overpower misdeal is not false. sent4: the melena is a nonparticipant if it is unsociable and does not arouse opsonin. sent5: if the lumper is unsociable the melena is unsociable but it does not arouse opsonin. sent6: that the fact that the melena is not the nonparticipant is not incorrect if the melena is a kind of unsociable thing that arouses opsonin is right. sent7: the disulfiram does overpower misdeal. sent8: the fact that the lumper is unsociable is true if it assimilates. sent9: the lumper is unsociable if that it is washable is correct. sent10: the melena does not arouse opsonin if the lumper is unsociable. sent11: the lumper is not bioclimatic. sent12: if something that is unsociable does arouse opsonin then it is not a nonparticipant. sent13: the melena overpowers misdeal. sent14: the lumper is unsociable if it is not flowering. sent15: if the melena is unsociable and it does arouse opsonin then it is not washable. sent16: the melena does not arouse opsonin. sent17: if the gibbon is thin that it is a dissection hold. sent18: a unsociable thing that does not arouse opsonin is a nonparticipant. sent19: the lumper barbs rag. sent20: the lumper is streptococcal. sent21: if the lumper is a kind of a nonparticipant the melena does not overpower misdeal. sent22: the fact that the hornist is not washable hold.
void -> assump2: Let's assume that the fact that the lumper is washable hold.; sent9 & assump2 -> int1: the lumper is unsociable.; int1 & sent5 -> int2: the melena is unsociable and does not arouse opsonin.; sent1 -> int3: if the melena is unsociable but it does not arouse opsonin it is not a nonparticipant.; int2 & int3 -> int4: the melena is not a nonparticipant.; void -> assump1: Let's assume that the melena is a nonparticipant.; int4 & assump1 -> int5: this is contradiction.; [assump2] & int5 -> int6: the lumper is nonwashable.; sent3 -> int7: the lumper overpowers misdeal if it is not washable.; int6 & int7 -> int8: the lumper overpowers misdeal.; [assump1] & int8 -> hypothesis;
$hypothesis$ = if the fact that the melena is a nonparticipant hold then the lumper does overpower misdeal. ; $context$ = sent1: if a unsociable thing does not arouse opsonin it is not a nonparticipant. sent2: the melena is washable if the lumper is unsociable. sent3: if something is not washable then the fact that it does overpower misdeal is not false. sent4: the melena is a nonparticipant if it is unsociable and does not arouse opsonin. sent5: if the lumper is unsociable the melena is unsociable but it does not arouse opsonin. sent6: that the fact that the melena is not the nonparticipant is not incorrect if the melena is a kind of unsociable thing that arouses opsonin is right. sent7: the disulfiram does overpower misdeal. sent8: the fact that the lumper is unsociable is true if it assimilates. sent9: the lumper is unsociable if that it is washable is correct. sent10: the melena does not arouse opsonin if the lumper is unsociable. sent11: the lumper is not bioclimatic. sent12: if something that is unsociable does arouse opsonin then it is not a nonparticipant. sent13: the melena overpowers misdeal. sent14: the lumper is unsociable if it is not flowering. sent15: if the melena is unsociable and it does arouse opsonin then it is not washable. sent16: the melena does not arouse opsonin. sent17: if the gibbon is thin that it is a dissection hold. sent18: a unsociable thing that does not arouse opsonin is a nonparticipant. sent19: the lumper barbs rag. sent20: the lumper is streptococcal. sent21: if the lumper is a kind of a nonparticipant the melena does not overpower misdeal. sent22: the fact that the hornist is not washable hold. ; $proof$ = 
void -> assump2: Let's assume that the fact that the lumper is washable hold.; sent9 & assump2 -> int1: the lumper is unsociable.; int1 & sent5 -> int2: the melena is unsociable and does not arouse opsonin.; sent1 -> int3: if the melena is unsociable but it does not arouse opsonin it is not a nonparticipant.; int2 & int3 -> int4: the melena is not a nonparticipant.; void -> assump1: Let's assume that the melena is a nonparticipant.; int4 & assump1 -> int5: this is contradiction.; [assump2] & int5 -> int6: the lumper is nonwashable.; sent3 -> int7: the lumper overpowers misdeal if it is not washable.; int6 & int7 -> int8: the lumper overpowers misdeal.; [assump1] & int8 -> hypothesis; __PROVED__