if the jumper is not a miniaturization the Irishman is not a pibroch and/or it does immortalize inability.
sent1: something immortalizes inability and it ribs hem if that it does not immortalize pyroscope is not false. sent2: the fact that the diver is both a mulligatawny and a FET is not correct. sent3: the diver is not anginal if the fact that it is both anginal and a FET is wrong. sent4: the sarong is not a pibroch. sent5: if something does not rib hem and/or it does immortalize inability then that the asclepiad does not rib hem is right. sent6: something that is not a Ouranopithecus is a picket and is proximal. sent7: if something is Benedictine then that it does not immortalize inability and is not anginal is false. sent8: that the jumper is not a mulligatawny but it is a blasted is not right if it is not a kind of a miniaturization. sent9: a non-anginal thing is Benedictine thing that does immortalize pyroscope. sent10: if the diver does not rib hem then either the Irishman is not a pibroch or it immortalizes inability or both. sent11: the jumper does immortalize pyroscope if that the diver does not rib hem and is not a miniaturization is not correct. sent12: a hollyhock that is a Benedictine does not rib hem. sent13: the jumper does rib hem. sent14: if that the jumper is both not a mulligatawny and not a blasted is false then the diver is a hollyhock. sent15: if the jumper is not a miniaturization then the Irishman is a pibroch and/or immortalizes inability. sent16: if there exists something such that it does not rib hem the onomancer is not a hollyhock and is a Benedictine. sent17: the fact that something does not immortalize inability and it is not a kind of a FET does not hold if it does immortalize pyroscope. sent18: the custom-made does not rib hem or immortalizes inability or both if the sarong is not a pibroch. sent19: that something is not a kind of a mulligatawny and it does not blast is incorrect if it is not a miniaturization. sent20: either the Irishman is a pibroch or it immortalizes inability or both. sent21: that the jumper is not a mulligatawny and not a hollyhock is not correct if it is not a kind of a pibroch. sent22: that the diver is anginal and it is a FET does not hold. sent23: the fact that the diver blasts hold. sent24: something is a kind of a trepang and is a knife if it is not a kind of a Zomba. sent25: that the jumper is not a mulligatawny but a blasted is not true. sent26: if the fact that the Irishman is not Benedictine and does not immortalize inability is wrong then the diver immortalizes pyroscope.
sent19 -> int1: if the jumper is not a kind of a miniaturization then that it is not a kind of a mulligatawny and it is not a blasted does not hold.; void -> assump1: Let's assume that the jumper is not a kind of a miniaturization.; int1 & assump1 -> int2: that the jumper is not a mulligatawny and it is not a blasted is not right.; int2 & sent14 -> int3: the diver is a kind of a hollyhock.; sent9 -> int4: if that the diver is not anginal hold then it is a kind of a Benedictine and immortalizes pyroscope.; sent3 & sent22 -> int5: the diver is not anginal.; int4 & int5 -> int6: that the diver is Benedictine and it does immortalize pyroscope is not wrong.; int6 -> int7: the diver is a Benedictine.; int3 & int7 -> int8: the diver is a kind of a hollyhock and it is a Benedictine.; sent12 -> int9: if the diver is a kind of a hollyhock and is Benedictine then it does not rib hem.; int8 & int9 -> int10: the diver does not rib hem.; int10 & sent10 -> int11: the Irishman is not a pibroch and/or it immortalizes inability.; [assump1] & int11 -> hypothesis;
that the Irishman is not a countersignature and it is not a kind of a FET does not hold.
sent18 & sent4 -> int12: the custom-made either does not rib hem or immortalizes inability or both.; int12 -> int13: something does not rib hem and/or immortalizes inability.; int13 & sent5 -> int14: the asclepiad does not rib hem.; int14 -> int15: there exists something such that the fact that it does not rib hem is right.; int15 & sent16 -> int16: the onomancer is both not a hollyhock and Benedictine.; int16 -> int17: there exists something such that it is not a kind of a hollyhock and it is Benedictine.;
$hypothesis$ = if the jumper is not a miniaturization the Irishman is not a pibroch and/or it does immortalize inability. ; $context$ = sent1: something immortalizes inability and it ribs hem if that it does not immortalize pyroscope is not false. sent2: the fact that the diver is both a mulligatawny and a FET is not correct. sent3: the diver is not anginal if the fact that it is both anginal and a FET is wrong. sent4: the sarong is not a pibroch. sent5: if something does not rib hem and/or it does immortalize inability then that the asclepiad does not rib hem is right. sent6: something that is not a Ouranopithecus is a picket and is proximal. sent7: if something is Benedictine then that it does not immortalize inability and is not anginal is false. sent8: that the jumper is not a mulligatawny but it is a blasted is not right if it is not a kind of a miniaturization. sent9: a non-anginal thing is Benedictine thing that does immortalize pyroscope. sent10: if the diver does not rib hem then either the Irishman is not a pibroch or it immortalizes inability or both. sent11: the jumper does immortalize pyroscope if that the diver does not rib hem and is not a miniaturization is not correct. sent12: a hollyhock that is a Benedictine does not rib hem. sent13: the jumper does rib hem. sent14: if that the jumper is both not a mulligatawny and not a blasted is false then the diver is a hollyhock. sent15: if the jumper is not a miniaturization then the Irishman is a pibroch and/or immortalizes inability. sent16: if there exists something such that it does not rib hem the onomancer is not a hollyhock and is a Benedictine. sent17: the fact that something does not immortalize inability and it is not a kind of a FET does not hold if it does immortalize pyroscope. sent18: the custom-made does not rib hem or immortalizes inability or both if the sarong is not a pibroch. sent19: that something is not a kind of a mulligatawny and it does not blast is incorrect if it is not a miniaturization. sent20: either the Irishman is a pibroch or it immortalizes inability or both. sent21: that the jumper is not a mulligatawny and not a hollyhock is not correct if it is not a kind of a pibroch. sent22: that the diver is anginal and it is a FET does not hold. sent23: the fact that the diver blasts hold. sent24: something is a kind of a trepang and is a knife if it is not a kind of a Zomba. sent25: that the jumper is not a mulligatawny but a blasted is not true. sent26: if the fact that the Irishman is not Benedictine and does not immortalize inability is wrong then the diver immortalizes pyroscope. ; $proof$ = 
sent19 -> int1: if the jumper is not a kind of a miniaturization then that it is not a kind of a mulligatawny and it is not a blasted does not hold.; void -> assump1: Let's assume that the jumper is not a kind of a miniaturization.; int1 & assump1 -> int2: that the jumper is not a mulligatawny and it is not a blasted is not right.; int2 & sent14 -> int3: the diver is a kind of a hollyhock.; sent9 -> int4: if that the diver is not anginal hold then it is a kind of a Benedictine and immortalizes pyroscope.; sent3 & sent22 -> int5: the diver is not anginal.; int4 & int5 -> int6: that the diver is Benedictine and it does immortalize pyroscope is not wrong.; int6 -> int7: the diver is a Benedictine.; int3 & int7 -> int8: the diver is a kind of a hollyhock and it is a Benedictine.; sent12 -> int9: if the diver is a kind of a hollyhock and is Benedictine then it does not rib hem.; int8 & int9 -> int10: the diver does not rib hem.; int10 & sent10 -> int11: the Irishman is not a pibroch and/or it immortalizes inability.; [assump1] & int11 -> hypothesis; __PROVED__