the meerkat is a Duse if the sinciput is a kind of a bellows.
sent1: the sinciput is a Peruvian if the airlock is a bellows. sent2: that the airlock is both Peruvian and not a Mullah does not hold. sent3: the airlock bellows if the fact that the sinciput is a kind of a Mullah is not false. sent4: if the meerkat is a kind of a Mullah the airlock is a Duse. sent5: that the sinciput is not a kind of a Peruvian and it is not a Mullah does not hold if there exists something such that it does bellow. sent6: if that the airlock is not a Peruvian and is not a Mullah is wrong the meerkat is a kind of a Duse. sent7: the fact that the airlock is a Peruvian and is not a kind of a Mullah does not hold if there is something such that it bellows. sent8: something does exalt hereditament. sent9: that the meerkat is not a kind of a Mullah and it is not a Duse is not correct. sent10: the airlock is a kind of a Mullah if the meerkat is a kind of a Peruvian. sent11: the meerkat is a Mullah. sent12: the sinciput is a Mullah if the fact that the airlock is not a Duse and not a bellows is incorrect. sent13: if the airlock is a Peruvian then the meerkat is a Duse. sent14: there is something such that it is a kind of a Mullah. sent15: if there is something such that it does bellow then the fact that the airlock is not a Peruvian and it is not a Mullah is not right. sent16: the airlock is a Mullah if the fact that the meerkat is not a bellows and it is not a Duse is not correct. sent17: the meerkat is a kind of a sharpie. sent18: that the sinciput is not a bellows and it is not a Duse is not right. sent19: the meerkat is a Mullah if the airlock is a Duse. sent20: the progesterone is a Duse if there is something such that it is not a bellows. sent21: if the fact that the fact that the airlock is both not a bellows and not a Mullah is not true is right then the sinciput is Peruvian.
void -> assump1: Let's assume that the sinciput is a bellows.; assump1 -> int1: there is something such that it is a bellows.; int1 & sent15 -> int2: that the airlock is not a Peruvian and not a Mullah does not hold.; sent6 & int2 -> int3: the meerkat is a Duse.; [assump1] & int3 -> hypothesis;
the fact that the progesterone is a Duse is not wrong.
$hypothesis$ = the meerkat is a Duse if the sinciput is a kind of a bellows. ; $context$ = sent1: the sinciput is a Peruvian if the airlock is a bellows. sent2: that the airlock is both Peruvian and not a Mullah does not hold. sent3: the airlock bellows if the fact that the sinciput is a kind of a Mullah is not false. sent4: if the meerkat is a kind of a Mullah the airlock is a Duse. sent5: that the sinciput is not a kind of a Peruvian and it is not a Mullah does not hold if there exists something such that it does bellow. sent6: if that the airlock is not a Peruvian and is not a Mullah is wrong the meerkat is a kind of a Duse. sent7: the fact that the airlock is a Peruvian and is not a kind of a Mullah does not hold if there is something such that it bellows. sent8: something does exalt hereditament. sent9: that the meerkat is not a kind of a Mullah and it is not a Duse is not correct. sent10: the airlock is a kind of a Mullah if the meerkat is a kind of a Peruvian. sent11: the meerkat is a Mullah. sent12: the sinciput is a Mullah if the fact that the airlock is not a Duse and not a bellows is incorrect. sent13: if the airlock is a Peruvian then the meerkat is a Duse. sent14: there is something such that it is a kind of a Mullah. sent15: if there is something such that it does bellow then the fact that the airlock is not a Peruvian and it is not a Mullah is not right. sent16: the airlock is a Mullah if the fact that the meerkat is not a bellows and it is not a Duse is not correct. sent17: the meerkat is a kind of a sharpie. sent18: that the sinciput is not a bellows and it is not a Duse is not right. sent19: the meerkat is a Mullah if the airlock is a Duse. sent20: the progesterone is a Duse if there is something such that it is not a bellows. sent21: if the fact that the fact that the airlock is both not a bellows and not a Mullah is not true is right then the sinciput is Peruvian. ; $proof$ = 
void -> assump1: Let's assume that the sinciput is a bellows.; assump1 -> int1: there is something such that it is a bellows.; int1 & sent15 -> int2: that the airlock is not a Peruvian and not a Mullah does not hold.; sent6 & int2 -> int3: the meerkat is a Duse.; [assump1] & int3 -> hypothesis; __PROVED__