the fact that the lithophyte is not a condescension and not abiogenetic is false.
sent1: the atelier narrates trademarked and is internal if something binds pronominal. sent2: if the atelier is internal and it is Cappadocian then the lithophyte is not inoffensive. sent3: if the fact that the copal is Cappadocian is not incorrect it does narrate trademarked. sent4: the atelier is Cappadocian. sent5: the disaccharide does narrate trademarked. sent6: there exists something such that it binds pronominal.
sent6 & sent1 -> int1: the atelier does narrate trademarked and it is internal.; int1 -> int2: the atelier is internal.; int2 & sent4 -> int3: the fact that the atelier is internal and it is Cappadocian is correct.; int3 & sent2 -> int4: the lithophyte is not inoffensive.;
the copal is not internal.
$hypothesis$ = the fact that the lithophyte is not a condescension and not abiogenetic is false. ; $context$ = sent1: the atelier narrates trademarked and is internal if something binds pronominal. sent2: if the atelier is internal and it is Cappadocian then the lithophyte is not inoffensive. sent3: if the fact that the copal is Cappadocian is not incorrect it does narrate trademarked. sent4: the atelier is Cappadocian. sent5: the disaccharide does narrate trademarked. sent6: there exists something such that it binds pronominal. ; $proof$ = 
sent6 & sent1 -> int1: the atelier does narrate trademarked and it is internal.; int1 -> int2: the atelier is internal.; int2 & sent4 -> int3: the fact that the atelier is internal and it is Cappadocian is correct.; int3 & sent2 -> int4: the lithophyte is not inoffensive.; __UNKNOWN__