the fact that there exists something such that if it is not amphoric and not diluvian it is a drawbridge hold.
sent1: if the beefcake stubs Plutarch and is not geometric then it is a drawbridge. sent2: there exists something such that if it does not extend otoscope and does not clap it is a meanness. sent3: if the beefcake is amphoric but it is not diluvian then it is a drawbridge. sent4: the beefcake is a kind of a drawbridge if it is a kind of non-amphoric thing that is diluvian. sent5: there is something such that if it is not a stipulation and it underwrites dilatoriness then it is a Cassiope. sent6: if something that is not non-amphoric is not diluvian it is a drawbridge. sent7: there is something such that if it is amphoric and it is not diluvian then it is a kind of a drawbridge. sent8: the peppermint is intermolecular if it is not a fingerling and is not a kind of a drawbridge. sent9: if something does not underwrite Armenian and it does not stub jonah then it does extend denazification. sent10: the beefcake is a colloquium if it is a kind of a neon and is not amphoric. sent11: the beefcake extends otoscope if it is amphoric and it does not clap. sent12: a non-Austrian thing that does extend impreciseness does stub Burton. sent13: something is a Psophocarpus if it is not a kind of a mounting and does extend Loeb. sent14: there is something such that if it does not post and it is not geometric it is a kind of an idyll. sent15: the beefcake is a drawbridge if it is involucrate and is not a sawdust. sent16: something is combustible if it is a kind of non-Old thing that is a kind of a pronation.
$hypothesis$ = the fact that there exists something such that if it is not amphoric and not diluvian it is a drawbridge hold. ; $context$ = sent1: if the beefcake stubs Plutarch and is not geometric then it is a drawbridge. sent2: there exists something such that if it does not extend otoscope and does not clap it is a meanness. sent3: if the beefcake is amphoric but it is not diluvian then it is a drawbridge. sent4: the beefcake is a kind of a drawbridge if it is a kind of non-amphoric thing that is diluvian. sent5: there is something such that if it is not a stipulation and it underwrites dilatoriness then it is a Cassiope. sent6: if something that is not non-amphoric is not diluvian it is a drawbridge. sent7: there is something such that if it is amphoric and it is not diluvian then it is a kind of a drawbridge. sent8: the peppermint is intermolecular if it is not a fingerling and is not a kind of a drawbridge. sent9: if something does not underwrite Armenian and it does not stub jonah then it does extend denazification. sent10: the beefcake is a colloquium if it is a kind of a neon and is not amphoric. sent11: the beefcake extends otoscope if it is amphoric and it does not clap. sent12: a non-Austrian thing that does extend impreciseness does stub Burton. sent13: something is a Psophocarpus if it is not a kind of a mounting and does extend Loeb. sent14: there is something such that if it does not post and it is not geometric it is a kind of an idyll. sent15: the beefcake is a drawbridge if it is involucrate and is not a sawdust. sent16: something is combustible if it is a kind of non-Old thing that is a kind of a pronation. ; $proof$ = 
__UNKNOWN__