something does not rafter IMF and is not a effortfulness.
sent1: something does not scrape and it does not rafter check-in if it is aromatic. sent2: something does rafter IMF but it is not a effortfulness. sent3: the Aegyptopithecus is not a effortfulness. sent4: if the radiomicrometer is a kind of nonlinguistic thing that is a kind of a phycoerythrin then the moonwort is not subarctic. sent5: if that the radiomicrometer is not a Obadiah is right it is a kind of non-linguistic thing that is a phycoerythrin. sent6: that something is not paramedical and it does not rafter IMF is wrong if it is a effortfulness. sent7: something is not cephalic if it is a Bavarian. sent8: the radiomicrometer is not a Obadiah if the RN is a Obadiah. sent9: if that something is non-paramedical thing that does not rafter IMF does not hold then it is a cysteine. sent10: there is something such that it is not a effortfulness. sent11: the Aegyptopithecus is a cysteine and it is paramedical. sent12: there exists something such that it does not squeegee kanchil. sent13: if something is paramedical then it does not rafter IMF and is not a effortfulness. sent14: the moonwort is a effortfulness and/or it is not a Stellite if it is not subarctic. sent15: if something is a cysteine then it is not Antiguan and it is not elfin. sent16: the RN is a Obadiah or is not a scrape or both. sent17: the Aegyptopithecus is a kind of a cysteine. sent18: something that is paramedical is not a effortfulness. sent19: if the Aegyptopithecus is paramedical then it is not a effortfulness.
sent11 -> int1: the Aegyptopithecus is paramedical.; sent13 -> int2: if the Aegyptopithecus is paramedical it does not rafter IMF and is not a effortfulness.; int1 & int2 -> int3: the Aegyptopithecus does not rafter IMF and it is not a effortfulness.; int3 -> hypothesis;
there are non-Antiguan and non-elfin things.
sent15 -> int4: the Aegyptopithecus is non-Antiguan thing that is not elfin if it is a kind of a cysteine.; sent9 -> int5: if the fact that the Aegyptopithecus is non-paramedical thing that does not rafter IMF does not hold then that it is a cysteine hold.; sent6 -> int6: if the Aegyptopithecus is a kind of a effortfulness that it is a kind of non-paramedical thing that does not rafter IMF is wrong.;
$hypothesis$ = something does not rafter IMF and is not a effortfulness. ; $context$ = sent1: something does not scrape and it does not rafter check-in if it is aromatic. sent2: something does rafter IMF but it is not a effortfulness. sent3: the Aegyptopithecus is not a effortfulness. sent4: if the radiomicrometer is a kind of nonlinguistic thing that is a kind of a phycoerythrin then the moonwort is not subarctic. sent5: if that the radiomicrometer is not a Obadiah is right it is a kind of non-linguistic thing that is a phycoerythrin. sent6: that something is not paramedical and it does not rafter IMF is wrong if it is a effortfulness. sent7: something is not cephalic if it is a Bavarian. sent8: the radiomicrometer is not a Obadiah if the RN is a Obadiah. sent9: if that something is non-paramedical thing that does not rafter IMF does not hold then it is a cysteine. sent10: there is something such that it is not a effortfulness. sent11: the Aegyptopithecus is a cysteine and it is paramedical. sent12: there exists something such that it does not squeegee kanchil. sent13: if something is paramedical then it does not rafter IMF and is not a effortfulness. sent14: the moonwort is a effortfulness and/or it is not a Stellite if it is not subarctic. sent15: if something is a cysteine then it is not Antiguan and it is not elfin. sent16: the RN is a Obadiah or is not a scrape or both. sent17: the Aegyptopithecus is a kind of a cysteine. sent18: something that is paramedical is not a effortfulness. sent19: if the Aegyptopithecus is paramedical then it is not a effortfulness. ; $proof$ = 
sent11 -> int1: the Aegyptopithecus is paramedical.; sent13 -> int2: if the Aegyptopithecus is paramedical it does not rafter IMF and is not a effortfulness.; int1 & int2 -> int3: the Aegyptopithecus does not rafter IMF and it is not a effortfulness.; int3 -> hypothesis; __PROVED__