the plodder pipes plodder.
sent1: the plodder does not pipe plodder and/or is not a Radiigera. sent2: the samizdat does not pipe inanimateness or it is not acaudate or both. sent3: either something is not a Radiigera or it is not seaworthy or both if it is not acaudate. sent4: if the plodder is not acaudate then the petrifaction is a Radiigera. sent5: if something does not pipe plodder then it is not a Radiigera and/or is not acaudate. sent6: the petrifaction is not a Radiigera if the plodder is not a Radiigera. sent7: if the samizdat is non-acaudate and/or not seaworthy the petrifaction is not seaworthy. sent8: if the samizdat does not pipe inanimateness and/or is not acaudate then the petrifaction is not acaudate. sent9: if the petrifaction is not acaudate it is a Radiigera or it is not seaworthy or both. sent10: the plodder does not pipe plodder and/or it does not provide phenazopyridine if it is not original. sent11: the plodder does pipe plodder if either the petrifaction is not a Radiigera or it is not seaworthy or both. sent12: the petrifaction is not a ungulate. sent13: the petrifaction does not pipe inanimateness if the samizdat is not acaudate or it does not pipe inanimateness or both. sent14: if the petrifaction does not pipe inanimateness the samizdat is a Radiigera.
sent3 -> int1: if the fact that the petrifaction is not acaudate is not incorrect it is not a Radiigera and/or is not seaworthy.; sent8 & sent2 -> int2: the petrifaction is not acaudate.; int1 & int2 -> int3: the petrifaction is not a kind of a Radiigera or it is not seaworthy or both.; int3 & sent11 -> hypothesis;
$hypothesis$ = the plodder pipes plodder. ; $context$ = sent1: the plodder does not pipe plodder and/or is not a Radiigera. sent2: the samizdat does not pipe inanimateness or it is not acaudate or both. sent3: either something is not a Radiigera or it is not seaworthy or both if it is not acaudate. sent4: if the plodder is not acaudate then the petrifaction is a Radiigera. sent5: if something does not pipe plodder then it is not a Radiigera and/or is not acaudate. sent6: the petrifaction is not a Radiigera if the plodder is not a Radiigera. sent7: if the samizdat is non-acaudate and/or not seaworthy the petrifaction is not seaworthy. sent8: if the samizdat does not pipe inanimateness and/or is not acaudate then the petrifaction is not acaudate. sent9: if the petrifaction is not acaudate it is a Radiigera or it is not seaworthy or both. sent10: the plodder does not pipe plodder and/or it does not provide phenazopyridine if it is not original. sent11: the plodder does pipe plodder if either the petrifaction is not a Radiigera or it is not seaworthy or both. sent12: the petrifaction is not a ungulate. sent13: the petrifaction does not pipe inanimateness if the samizdat is not acaudate or it does not pipe inanimateness or both. sent14: if the petrifaction does not pipe inanimateness the samizdat is a Radiigera. ; $proof$ = 
sent3 -> int1: if the fact that the petrifaction is not acaudate is not incorrect it is not a Radiigera and/or is not seaworthy.; sent8 & sent2 -> int2: the petrifaction is not acaudate.; int1 & int2 -> int3: the petrifaction is not a kind of a Radiigera or it is not seaworthy or both.; int3 & sent11 -> hypothesis; __PROVED__