the vol-au-vent is not a ratchet.
sent1: the flail is not carroty if the fact that the presbytery does snivel and it is chancrous is not correct. sent2: that the isthmus is a kind of a methamphetamine that is a Eindhoven is not true if the fact that it does not permit hexestrol hold. sent3: a Eindhoven bumbles private. sent4: that something is a kind of a snivel and it is chancrous is not correct if it is not a kind of a gather. sent5: if something that downgrades is not a OIS it is not carroty. sent6: if the crammer is a kind of a methamphetamine then it is a Eindhoven. sent7: there exists something such that it is a Mongolian. sent8: that the footplate is a ratchet is right if the flail does gather. sent9: the snivel does bumble private if the crammer bumble private. sent10: if that the isthmus is a kind of a methamphetamine and it is a Eindhoven is not true then the crammer does not bumble private. sent11: the vol-au-vent is not a ratchet if something that is a gather is a downgrade. sent12: if something that is not a peroration is not transdermal it does not permit hexestrol. sent13: the flail is a OIS and it is carroty. sent14: the presbytery does downgrade. sent15: if the crammer does not bumble private the snivel is a kind of a downgrade and is not a kind of a OIS. sent16: if the snivel does bumble private then the vol-au-vent is a OIS.
sent4 -> int1: the fact that the presbytery is a snivel and is chancrous is false if it is not a gather.; void -> assump1: Let's assume that the presbytery does not gather.; int1 & assump1 -> int2: that the presbytery is both a snivel and chancrous does not hold.; int2 & sent1 -> int3: the flail is not carroty.; sent13 -> int4: the flail is carroty.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the presbytery does gather.; int6 & sent14 -> int7: the presbytery is a gather and it does downgrade.; int7 -> int8: something does gather and it is a downgrade.; int8 & sent11 -> hypothesis;
the vol-au-vent is a ratchet.
sent5 -> int9: the snivel is not carroty if it does downgrade and is not a OIS.; sent12 -> int10: the isthmus does not permit hexestrol if it is not a peroration and is not transdermal.;
$hypothesis$ = the vol-au-vent is not a ratchet. ; $context$ = sent1: the flail is not carroty if the fact that the presbytery does snivel and it is chancrous is not correct. sent2: that the isthmus is a kind of a methamphetamine that is a Eindhoven is not true if the fact that it does not permit hexestrol hold. sent3: a Eindhoven bumbles private. sent4: that something is a kind of a snivel and it is chancrous is not correct if it is not a kind of a gather. sent5: if something that downgrades is not a OIS it is not carroty. sent6: if the crammer is a kind of a methamphetamine then it is a Eindhoven. sent7: there exists something such that it is a Mongolian. sent8: that the footplate is a ratchet is right if the flail does gather. sent9: the snivel does bumble private if the crammer bumble private. sent10: if that the isthmus is a kind of a methamphetamine and it is a Eindhoven is not true then the crammer does not bumble private. sent11: the vol-au-vent is not a ratchet if something that is a gather is a downgrade. sent12: if something that is not a peroration is not transdermal it does not permit hexestrol. sent13: the flail is a OIS and it is carroty. sent14: the presbytery does downgrade. sent15: if the crammer does not bumble private the snivel is a kind of a downgrade and is not a kind of a OIS. sent16: if the snivel does bumble private then the vol-au-vent is a OIS. ; $proof$ = 
sent4 -> int1: the fact that the presbytery is a snivel and is chancrous is false if it is not a gather.; void -> assump1: Let's assume that the presbytery does not gather.; int1 & assump1 -> int2: that the presbytery is both a snivel and chancrous does not hold.; int2 & sent1 -> int3: the flail is not carroty.; sent13 -> int4: the flail is carroty.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the presbytery does gather.; int6 & sent14 -> int7: the presbytery is a gather and it does downgrade.; int7 -> int8: something does gather and it is a downgrade.; int8 & sent11 -> hypothesis; __PROVED__