the petcock is alkaloidal and it is a cerebellum.
sent1: the petcock is a kind of a cerebellum if something is not a Nilotic. sent2: that the porphyry does not cane rivulet but it is an indicative is false if that the petcock is alkaloidal is correct. sent3: if something does not scotch then it is not a knot. sent4: the roll-on is not a Myrmeleontidae. sent5: if the porphyry is an indicative then that the roll-on is not a cert but it does scotch is not right. sent6: the roll-on is not unscalable. sent7: if the porphyry is not a cert the roll-on does not cane rivulet but it is a cert. sent8: the plunderer is a cerebellum if the petcock is not a Myrmeleontidae but alkaloidal. sent9: the roll-on does scotch. sent10: if the plunderer does not cane rivulet then the porphyry does not scotch but it cane rivulet. sent11: if the roll-on knots then the fact that the plunderer is not a Myrmeleontidae but it is an indicative is incorrect. sent12: something does not cane rivulet if that it is not a Myrmeleontidae and is an indicative does not hold. sent13: that the pyrolusite is not a Myrmeleontidae is not wrong. sent14: the roll-on is a kind of a cert that is a knot. sent15: the pyrolusite is not Nilotic. sent16: there is something such that that it is a knot hold. sent17: if the porphyry does not scotch and does cane rivulet then the fact that the petcock is alkaloidal is not wrong.
sent14 -> int1: the roll-on does knot.; int1 & sent11 -> int2: that the fact that the plunderer is not a kind of a Myrmeleontidae and is an indicative is not incorrect does not hold.; sent12 -> int3: the plunderer does not cane rivulet if that it is both not a Myrmeleontidae and indicative is wrong.; int2 & int3 -> int4: the plunderer does not cane rivulet.; int4 & sent10 -> int5: the porphyry does not scotch and canes rivulet.; int5 & sent17 -> int6: the petcock is alkaloidal.; sent15 -> int7: there is something such that it is not a Nilotic.; int7 & sent1 -> int8: the petcock is a cerebellum.; int6 & int8 -> hypothesis;
$hypothesis$ = the petcock is alkaloidal and it is a cerebellum. ; $context$ = sent1: the petcock is a kind of a cerebellum if something is not a Nilotic. sent2: that the porphyry does not cane rivulet but it is an indicative is false if that the petcock is alkaloidal is correct. sent3: if something does not scotch then it is not a knot. sent4: the roll-on is not a Myrmeleontidae. sent5: if the porphyry is an indicative then that the roll-on is not a cert but it does scotch is not right. sent6: the roll-on is not unscalable. sent7: if the porphyry is not a cert the roll-on does not cane rivulet but it is a cert. sent8: the plunderer is a cerebellum if the petcock is not a Myrmeleontidae but alkaloidal. sent9: the roll-on does scotch. sent10: if the plunderer does not cane rivulet then the porphyry does not scotch but it cane rivulet. sent11: if the roll-on knots then the fact that the plunderer is not a Myrmeleontidae but it is an indicative is incorrect. sent12: something does not cane rivulet if that it is not a Myrmeleontidae and is an indicative does not hold. sent13: that the pyrolusite is not a Myrmeleontidae is not wrong. sent14: the roll-on is a kind of a cert that is a knot. sent15: the pyrolusite is not Nilotic. sent16: there is something such that that it is a knot hold. sent17: if the porphyry does not scotch and does cane rivulet then the fact that the petcock is alkaloidal is not wrong. ; $proof$ = 
sent14 -> int1: the roll-on does knot.; int1 & sent11 -> int2: that the fact that the plunderer is not a kind of a Myrmeleontidae and is an indicative is not incorrect does not hold.; sent12 -> int3: the plunderer does not cane rivulet if that it is both not a Myrmeleontidae and indicative is wrong.; int2 & int3 -> int4: the plunderer does not cane rivulet.; int4 & sent10 -> int5: the porphyry does not scotch and canes rivulet.; int5 & sent17 -> int6: the petcock is alkaloidal.; sent15 -> int7: there is something such that it is not a Nilotic.; int7 & sent1 -> int8: the petcock is a cerebellum.; int6 & int8 -> hypothesis; __PROVED__