the mantispid is not noncommercial and it is not a liberator.
sent1: either something is a liberator or it is not an upbeat or both if it does not veil. sent2: the fact that the machicolation does crave and/or is not a fruit is wrong if it is a tulip. sent3: the postgraduate does bespot Muenster or it is not a kind of an extremist or both. sent4: if the machicolation is a tulip then that it is a fruit hold. sent5: the postgraduate is a liberator if the documentary is not a Belarusian. sent6: if something is a kind of a veil that it is commercial and it is not a kind of a liberator is not correct. sent7: if the whalebone is a veil then the machicolation craves and/or it does not fruit. sent8: if that the documentary is a Belarusian but it does not horripilate taguan is not correct then the postgraduate is a liberator. sent9: the machicolation is a tulip. sent10: the machicolation does crave and/or it does fruit. sent11: if the redbone does not horripilate taguan that the documentary is Belarusian thing that does not horripilate taguan is not correct. sent12: if the machicolation is not noncommercial the whalebone is a Belarusian or it does not horripilate taguan or both. sent13: the mantispid is commercial thing that is not a liberator if the postgraduate is a liberator. sent14: the fact that the machicolation is noncommercial and is not a tulip is false if the documentary bespots Muenster. sent15: if the postgraduate is a liberator then the mantispid is not a liberator. sent16: the fact that the whalebone is noncommercial is true. sent17: if the whalebone is not a veil the redbone does not horripilate taguan but it is a kind of a veil. sent18: the fact that something is not noncommercial hold if that it is noncommercial thing that is not a tulip is false.
void -> assump1: Let's assume that the whalebone is a veil.; sent7 & assump1 -> int1: the machicolation does crave or it is not a fruit or both.; sent2 & sent9 -> int2: that the machicolation either craves or does not fruit or both is false.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the whalebone is not a veil.; int4 & sent17 -> int5: the redbone does not horripilate taguan but it does veil.; int5 -> int6: the redbone does not horripilate taguan.; int6 & sent11 -> int7: the fact that the documentary is a kind of a Belarusian but it does not horripilate taguan does not hold.; int7 & sent8 -> int8: the fact that the postgraduate is a liberator hold.; int8 & sent13 -> hypothesis;
the redbone is a kind of a liberator and/or it is not an upbeat.
sent1 -> int9: if the redbone is not a veil it either is a liberator or is not an upbeat or both.; sent18 -> int10: that the machicolation is not noncommercial is not incorrect if that it is noncommercial and is not a tulip does not hold.; sent3 -> int11: there is something such that it either does bespot Muenster or is not a kind of an extremist or both.;
$hypothesis$ = the mantispid is not noncommercial and it is not a liberator. ; $context$ = sent1: either something is a liberator or it is not an upbeat or both if it does not veil. sent2: the fact that the machicolation does crave and/or is not a fruit is wrong if it is a tulip. sent3: the postgraduate does bespot Muenster or it is not a kind of an extremist or both. sent4: if the machicolation is a tulip then that it is a fruit hold. sent5: the postgraduate is a liberator if the documentary is not a Belarusian. sent6: if something is a kind of a veil that it is commercial and it is not a kind of a liberator is not correct. sent7: if the whalebone is a veil then the machicolation craves and/or it does not fruit. sent8: if that the documentary is a Belarusian but it does not horripilate taguan is not correct then the postgraduate is a liberator. sent9: the machicolation is a tulip. sent10: the machicolation does crave and/or it does fruit. sent11: if the redbone does not horripilate taguan that the documentary is Belarusian thing that does not horripilate taguan is not correct. sent12: if the machicolation is not noncommercial the whalebone is a Belarusian or it does not horripilate taguan or both. sent13: the mantispid is commercial thing that is not a liberator if the postgraduate is a liberator. sent14: the fact that the machicolation is noncommercial and is not a tulip is false if the documentary bespots Muenster. sent15: if the postgraduate is a liberator then the mantispid is not a liberator. sent16: the fact that the whalebone is noncommercial is true. sent17: if the whalebone is not a veil the redbone does not horripilate taguan but it is a kind of a veil. sent18: the fact that something is not noncommercial hold if that it is noncommercial thing that is not a tulip is false. ; $proof$ = 
void -> assump1: Let's assume that the whalebone is a veil.; sent7 & assump1 -> int1: the machicolation does crave or it is not a fruit or both.; sent2 & sent9 -> int2: that the machicolation either craves or does not fruit or both is false.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the whalebone is not a veil.; int4 & sent17 -> int5: the redbone does not horripilate taguan but it does veil.; int5 -> int6: the redbone does not horripilate taguan.; int6 & sent11 -> int7: the fact that the documentary is a kind of a Belarusian but it does not horripilate taguan does not hold.; int7 & sent8 -> int8: the fact that the postgraduate is a liberator hold.; int8 & sent13 -> hypothesis; __PROVED__