the remover is a kind of a Teflon if the Converso is a whiff.
sent1: the hydrochlorofluorocarbon is not prepositional if either it does not smock AWOL or it does spill Jakobson or both. sent2: something that does burden is fictile. sent3: the hydrochlorofluorocarbon does not smock AWOL and/or it does spill Jakobson. sent4: the fact that the hydrochlorofluorocarbon is a kind of a Teflon hold. sent5: the fact that the sweep is a Teflon is not false. sent6: if the Converso is a Teflon then the remover does whiff. sent7: the Converso is fictile if the hydrochlorofluorocarbon whiffs. sent8: the remover is fictile if that the hydrochlorofluorocarbon is a Teflon hold. sent9: the Charon is not fictile if the fact that the Converso is fictile is not false. sent10: the hydrochlorofluorocarbon does not spill hydroxymethyl. sent11: something is a whiff and a Teflon if the fact that it is not fictile is correct. sent12: if the hydrochlorofluorocarbon is fictile the remover is a Teflon. sent13: the Converso is a kind of a burden if something is not a Maugham and does not spill hydroxymethyl. sent14: if something is not prepositional or it is schizophrenic or both then it is not a Maugham.
the Charon is a Teflon.
sent11 -> int1: if the Charon is not fictile it is a kind of a whiff that is a Teflon.; sent2 -> int2: the fact that the fact that the Converso is not fictile is incorrect if the Converso burdens is correct.; sent14 -> int3: the hydrochlorofluorocarbon is not a kind of a Maugham if it is not prepositional and/or it is a schizophrenic.; sent1 & sent3 -> int4: the hydrochlorofluorocarbon is not prepositional.; int4 -> int5: the hydrochlorofluorocarbon is non-prepositional and/or not non-schizophrenic.; int3 & int5 -> int6: the hydrochlorofluorocarbon is not a Maugham.; int6 & sent10 -> int7: the hydrochlorofluorocarbon is not a kind of a Maugham and does not spill hydroxymethyl.; int7 -> int8: there exists something such that it is not a kind of a Maugham and it does not spill hydroxymethyl.; int8 & sent13 -> int9: the Converso is a burden.; int2 & int9 -> int10: the Converso is fictile.; sent9 & int10 -> int11: the Charon is not fictile.; int1 & int11 -> int12: the Charon does whiff and is a Teflon.; int12 -> hypothesis;
$hypothesis$ = the remover is a kind of a Teflon if the Converso is a whiff. ; $context$ = sent1: the hydrochlorofluorocarbon is not prepositional if either it does not smock AWOL or it does spill Jakobson or both. sent2: something that does burden is fictile. sent3: the hydrochlorofluorocarbon does not smock AWOL and/or it does spill Jakobson. sent4: the fact that the hydrochlorofluorocarbon is a kind of a Teflon hold. sent5: the fact that the sweep is a Teflon is not false. sent6: if the Converso is a Teflon then the remover does whiff. sent7: the Converso is fictile if the hydrochlorofluorocarbon whiffs. sent8: the remover is fictile if that the hydrochlorofluorocarbon is a Teflon hold. sent9: the Charon is not fictile if the fact that the Converso is fictile is not false. sent10: the hydrochlorofluorocarbon does not spill hydroxymethyl. sent11: something is a whiff and a Teflon if the fact that it is not fictile is correct. sent12: if the hydrochlorofluorocarbon is fictile the remover is a Teflon. sent13: the Converso is a kind of a burden if something is not a Maugham and does not spill hydroxymethyl. sent14: if something is not prepositional or it is schizophrenic or both then it is not a Maugham. ; $proof$ = 
__UNKNOWN__