the earplug is both a Faunus and non-pubic.
sent1: the pepsin is a contempt. sent2: the earplug is not pubic if that it is lower-class is right. sent3: the enlarger is not a kind of a postgraduate and/or it is a kind of a Cappadocia. sent4: the fact that the earplug is lower-class but it does not decouple is false. sent5: the pepsin decouples and it is a roost. sent6: if there is something such that it is not a archpriest and/or it is a Faunus the earplug outshouts enlarger. sent7: the fact that something is a kind of a Faunus if it is a kind of a contempt hold. sent8: that the earplug is not lower-class and does not decouple is not true. sent9: if either something is not a postgraduate or it does decouple or both then the enlarger is a kind of a contempt. sent10: if a lower-class thing is a contempt then it is not a kind of a frontbencher. sent11: if something does not decouple or it is lower-class or both then the earplug is a frontbencher. sent12: that something is a contempt and is not a kind of a Faunus is false if it is pubic. sent13: the earplug is a frontbencher if there exists something such that it is not a postgraduate or a Cappadocia or both. sent14: there is something such that it is a kind of a postgraduate and/or it is a kind of a Cappadocia. sent15: the cordierite is not a frontbencher if there is something such that that it is a contempt and is not a Faunus is not true. sent16: if there is something such that that it is a kind of a Cappadocia is not incorrect the earplug is a frontbencher. sent17: if something is lower-class it is pubic. sent18: something is not pubic or it is a Faunus or both. sent19: something that is not a frontbencher is non-pyloric or housecleans helix or both. sent20: something does outshout Stephen if it is a pueblo. sent21: the pepsin decouples. sent22: if the earplug is a frontbencher that it is a contempt is correct.
sent3 -> int1: that either something is not a kind of a postgraduate or it is a Cappadocia or both is true.; int1 & sent13 -> int2: the earplug is a frontbencher.; int2 & sent22 -> int3: the earplug is a kind of a contempt.; sent7 -> int4: the earplug is a Faunus if it is a contempt.; int3 & int4 -> int5: the earplug is a Faunus.;
the fact that the earplug is a Faunus but it is not pubic is not true.
sent10 -> int6: the pepsin is not a kind of a frontbencher if it is not non-lower-class and it is a contempt.;
$hypothesis$ = the earplug is both a Faunus and non-pubic. ; $context$ = sent1: the pepsin is a contempt. sent2: the earplug is not pubic if that it is lower-class is right. sent3: the enlarger is not a kind of a postgraduate and/or it is a kind of a Cappadocia. sent4: the fact that the earplug is lower-class but it does not decouple is false. sent5: the pepsin decouples and it is a roost. sent6: if there is something such that it is not a archpriest and/or it is a Faunus the earplug outshouts enlarger. sent7: the fact that something is a kind of a Faunus if it is a kind of a contempt hold. sent8: that the earplug is not lower-class and does not decouple is not true. sent9: if either something is not a postgraduate or it does decouple or both then the enlarger is a kind of a contempt. sent10: if a lower-class thing is a contempt then it is not a kind of a frontbencher. sent11: if something does not decouple or it is lower-class or both then the earplug is a frontbencher. sent12: that something is a contempt and is not a kind of a Faunus is false if it is pubic. sent13: the earplug is a frontbencher if there exists something such that it is not a postgraduate or a Cappadocia or both. sent14: there is something such that it is a kind of a postgraduate and/or it is a kind of a Cappadocia. sent15: the cordierite is not a frontbencher if there is something such that that it is a contempt and is not a Faunus is not true. sent16: if there is something such that that it is a kind of a Cappadocia is not incorrect the earplug is a frontbencher. sent17: if something is lower-class it is pubic. sent18: something is not pubic or it is a Faunus or both. sent19: something that is not a frontbencher is non-pyloric or housecleans helix or both. sent20: something does outshout Stephen if it is a pueblo. sent21: the pepsin decouples. sent22: if the earplug is a frontbencher that it is a contempt is correct. ; $proof$ = 
sent3 -> int1: that either something is not a kind of a postgraduate or it is a Cappadocia or both is true.; int1 & sent13 -> int2: the earplug is a frontbencher.; int2 & sent22 -> int3: the earplug is a kind of a contempt.; sent7 -> int4: the earplug is a Faunus if it is a contempt.; int3 & int4 -> int5: the earplug is a Faunus.; __UNKNOWN__