the Zimbabwean is not a fibrillation.
sent1: if the Zimbabwean is a fibrillation then the Homer is a Istiophoridae. sent2: the jar does kindle if the baseball does job comedown. sent3: the Zimbabwean is a fibrillation if it is a Istiophoridae. sent4: if the fact that something is not a secessionist and does not job comedown does not hold it is a Istiophoridae. sent5: the Bunsen is not a kind of a sarcenet if that it is a corporatist and not a Elizabethan is right. sent6: the fact that the Bunsen does not kindle is right. sent7: something is a Gadus and not a fibrillation if it is not a kind of a Istiophoridae. sent8: the Bunsen is not a kind of a sarcenet if it is not a corporatist and it is a Elizabethan. sent9: the bypass is a secessionist if that the Homer is a kind of a Istiophoridae is right. sent10: the Bunsen is a kind of a sarcenet but it does not kindle if the jar kindle. sent11: that that the Homer is Elizabethan and a sarcenet is true is not correct. sent12: the Zimbabwean does not kindle if there exists something such that the fact that it is a Elizabethan and it is a kind of a sarcenet does not hold. sent13: the Parisienne is a fibrillation. sent14: if the bypass is a secessionist the baseball jobs comedown. sent15: something is not a sarcenet if it is non-corporatist and non-Elizabethan. sent16: the Bunsen does not kindle if the jar kindle. sent17: if something is not non-corporatist and is not a Elizabethan then it is not a sarcenet. sent18: something that does not kindle does not job comedown and is not a kind of a secessionist. sent19: everything is a kind of non-corporatist thing that is not a Elizabethan. sent20: something is not a kind of a sarcenet if it is not a kind of a corporatist and it is Elizabethan.
void -> assump1: Let's assume that the Zimbabwean is a fibrillation.; sent1 & assump1 -> int1: the Homer is a Istiophoridae.; int1 & sent9 -> int2: the bypass is a secessionist.; int2 & sent14 -> int3: the baseball does job comedown.; int3 & sent2 -> int4: the jar does kindle.; int4 & sent10 -> int5: the Bunsen is a sarcenet and does not kindle.; int5 -> int6: the Bunsen is a sarcenet.; sent15 -> int7: the Bunsen is not a kind of a sarcenet if it is both not a corporatist and non-Elizabethan.; sent19 -> int8: the Bunsen is not a kind of a corporatist and it is not a Elizabethan.; int7 & int8 -> int9: that the Bunsen is not a kind of a sarcenet is not wrong.; int6 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis;
the headsail is a Gadus.
sent7 -> int11: if the headsail is not a Istiophoridae it is a kind of a Gadus and it is not a fibrillation.; sent18 -> int12: if the Zimbabwean does not kindle then it does not job comedown and is not a secessionist.; sent11 -> int13: there is something such that that it is Elizabethan and it is a sarcenet is false.; int13 & sent12 -> int14: the Zimbabwean does not kindle.; int12 & int14 -> int15: the Zimbabwean does not job comedown and it is not a secessionist.; int15 -> int16: something does not job comedown and it is not a kind of a secessionist.;
$hypothesis$ = the Zimbabwean is not a fibrillation. ; $context$ = sent1: if the Zimbabwean is a fibrillation then the Homer is a Istiophoridae. sent2: the jar does kindle if the baseball does job comedown. sent3: the Zimbabwean is a fibrillation if it is a Istiophoridae. sent4: if the fact that something is not a secessionist and does not job comedown does not hold it is a Istiophoridae. sent5: the Bunsen is not a kind of a sarcenet if that it is a corporatist and not a Elizabethan is right. sent6: the fact that the Bunsen does not kindle is right. sent7: something is a Gadus and not a fibrillation if it is not a kind of a Istiophoridae. sent8: the Bunsen is not a kind of a sarcenet if it is not a corporatist and it is a Elizabethan. sent9: the bypass is a secessionist if that the Homer is a kind of a Istiophoridae is right. sent10: the Bunsen is a kind of a sarcenet but it does not kindle if the jar kindle. sent11: that that the Homer is Elizabethan and a sarcenet is true is not correct. sent12: the Zimbabwean does not kindle if there exists something such that the fact that it is a Elizabethan and it is a kind of a sarcenet does not hold. sent13: the Parisienne is a fibrillation. sent14: if the bypass is a secessionist the baseball jobs comedown. sent15: something is not a sarcenet if it is non-corporatist and non-Elizabethan. sent16: the Bunsen does not kindle if the jar kindle. sent17: if something is not non-corporatist and is not a Elizabethan then it is not a sarcenet. sent18: something that does not kindle does not job comedown and is not a kind of a secessionist. sent19: everything is a kind of non-corporatist thing that is not a Elizabethan. sent20: something is not a kind of a sarcenet if it is not a kind of a corporatist and it is Elizabethan. ; $proof$ = 
void -> assump1: Let's assume that the Zimbabwean is a fibrillation.; sent1 & assump1 -> int1: the Homer is a Istiophoridae.; int1 & sent9 -> int2: the bypass is a secessionist.; int2 & sent14 -> int3: the baseball does job comedown.; int3 & sent2 -> int4: the jar does kindle.; int4 & sent10 -> int5: the Bunsen is a sarcenet and does not kindle.; int5 -> int6: the Bunsen is a sarcenet.; sent15 -> int7: the Bunsen is not a kind of a sarcenet if it is both not a corporatist and non-Elizabethan.; sent19 -> int8: the Bunsen is not a kind of a corporatist and it is not a Elizabethan.; int7 & int8 -> int9: that the Bunsen is not a kind of a sarcenet is not wrong.; int6 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis; __PROVED__