the osteologist is not serial.
sent1: something is a serial if it fornicates. sent2: there exists something such that it fornicates and is a serial. sent3: something is billiard. sent4: something fornicates if the fact that it is a kind of a superiority and/or it is not some is not correct. sent5: the runway is extraordinary and it is thermodynamic. sent6: if there is something such that it fornicates and it is some then the osteologist is not a kind of a serial. sent7: the secularist is not a kind of a serial. sent8: that the leaseholder fornicates is not false. sent9: there is something such that it is a kind of a serial. sent10: that something is a serial and it is some is not true if it is not a superiority. sent11: the leaseholder is some. sent12: the leaseholder is serial. sent13: if something is a Ahuehuete the fact that it either is a kind of a superiority or is not some or both is false. sent14: the parasite is oral and it does taboo. sent15: the osteologist is not attitudinal. sent16: something is a liana. sent17: the keyboardist is not nonretractile and is some. sent18: there exists nothing that is not an individual and not a Ahuehuete. sent19: the pall is a serial.
sent8 & sent11 -> int1: that the leaseholder does fornicate and it is some is correct.; int1 -> int2: there is something such that it does fornicate and is some.; int2 & sent6 -> hypothesis;
that the osteologist is a serial is right.
sent1 -> int3: the osteologist is a serial if it fornicates.; sent4 -> int4: the osteologist does fornicate if the fact that it is a superiority and/or it is not some does not hold.; sent13 -> int5: if the osteologist is a Ahuehuete that it is a superiority and/or it is not some is false.;
$hypothesis$ = the osteologist is not serial. ; $context$ = sent1: something is a serial if it fornicates. sent2: there exists something such that it fornicates and is a serial. sent3: something is billiard. sent4: something fornicates if the fact that it is a kind of a superiority and/or it is not some is not correct. sent5: the runway is extraordinary and it is thermodynamic. sent6: if there is something such that it fornicates and it is some then the osteologist is not a kind of a serial. sent7: the secularist is not a kind of a serial. sent8: that the leaseholder fornicates is not false. sent9: there is something such that it is a kind of a serial. sent10: that something is a serial and it is some is not true if it is not a superiority. sent11: the leaseholder is some. sent12: the leaseholder is serial. sent13: if something is a Ahuehuete the fact that it either is a kind of a superiority or is not some or both is false. sent14: the parasite is oral and it does taboo. sent15: the osteologist is not attitudinal. sent16: something is a liana. sent17: the keyboardist is not nonretractile and is some. sent18: there exists nothing that is not an individual and not a Ahuehuete. sent19: the pall is a serial. ; $proof$ = 
sent8 & sent11 -> int1: that the leaseholder does fornicate and it is some is correct.; int1 -> int2: there is something such that it does fornicate and is some.; int2 & sent6 -> hypothesis; __PROVED__