the paraphilia is not a drosophila but it does master.
sent1: the schoolteacher is not a kind of a gentianella if there is something such that the fact that it is not a mouth and is not reductionist does not hold. sent2: if the actinia is not a drosophila then the paraphilia is not a drosophila but it masters. sent3: if that the spatula is a gentianella and does not chasten paraphilia is wrong then the actinia is not a drosophila. sent4: if there is something such that that it is not a kind of a gentianella and it does not chasten paraphilia is false then the burbot is not a master. sent5: that the actinia is not a drosophila is not incorrect if the spatula does chasten paraphilia. sent6: there is something such that the fact that it is not a mouth and is not reductionist does not hold. sent7: there exists something such that the fact that it is both not a mouth and reductionist is false. sent8: there exists something such that it does not chasten paraphilia and it is not a kind of a gentianella. sent9: that something is not a drosophila and does master is not right if it is a gentianella. sent10: the fact that the spatula is a gentianella but it does not chasten paraphilia is wrong if the schoolteacher is not a kind of a gentianella. sent11: that something is not a gentianella and does not chasten paraphilia is not correct if it is not a kind of a drosophila.
sent6 & sent1 -> int1: the schoolteacher is not a gentianella.; sent10 & int1 -> int2: the fact that the spatula is a gentianella but it does not chasten paraphilia is not right.; sent3 & int2 -> int3: the fact that the actinia is not a drosophila hold.; sent2 & int3 -> hypothesis;
the burbot is not a master.
sent11 -> int4: that the fact that the schoolteacher is not a kind of a gentianella and it does not chasten paraphilia is not wrong does not hold if it is not a drosophila.;
$hypothesis$ = the paraphilia is not a drosophila but it does master. ; $context$ = sent1: the schoolteacher is not a kind of a gentianella if there is something such that the fact that it is not a mouth and is not reductionist does not hold. sent2: if the actinia is not a drosophila then the paraphilia is not a drosophila but it masters. sent3: if that the spatula is a gentianella and does not chasten paraphilia is wrong then the actinia is not a drosophila. sent4: if there is something such that that it is not a kind of a gentianella and it does not chasten paraphilia is false then the burbot is not a master. sent5: that the actinia is not a drosophila is not incorrect if the spatula does chasten paraphilia. sent6: there is something such that the fact that it is not a mouth and is not reductionist does not hold. sent7: there exists something such that the fact that it is both not a mouth and reductionist is false. sent8: there exists something such that it does not chasten paraphilia and it is not a kind of a gentianella. sent9: that something is not a drosophila and does master is not right if it is a gentianella. sent10: the fact that the spatula is a gentianella but it does not chasten paraphilia is wrong if the schoolteacher is not a kind of a gentianella. sent11: that something is not a gentianella and does not chasten paraphilia is not correct if it is not a kind of a drosophila. ; $proof$ = 
sent6 & sent1 -> int1: the schoolteacher is not a gentianella.; sent10 & int1 -> int2: the fact that the spatula is a gentianella but it does not chasten paraphilia is not right.; sent3 & int2 -> int3: the fact that the actinia is not a drosophila hold.; sent2 & int3 -> hypothesis; __PROVED__