there exists something such that the fact that it is a V and it is a airbrush is false.
sent1: if the loading is not unfaithful the fact that it is not conscious hold. sent2: there is nothing such that it is both unfaithful and upstage. sent3: something is blastomeric if it is socioeconomic and it is not a kind of an upstage. sent4: if that something is not doric or airbrushes or both is false then it is not blastomeric. sent5: the fuji is not doric if the Hindu is socioeconomic and/or it is blastomeric. sent6: if the loading is not conscious then the Hindu is a Codiaeum but it is not conscious. sent7: something is not conscious if that it is unfaithful and it is upstage is not correct. sent8: if something is a secretaryship but it is not a kind of a Bohemian then it is a registered. sent9: the fact that the aspergill is a V and is a airbrush is not right if the fuji is not doric. sent10: if that something is a sunglass and it is a ology is false then it does not cavil. sent11: if the aspergill is not blastomeric then the fuji is a kind of socioeconomic thing that is a kind of a Codiaeum. sent12: the fact that the aspergill is not doric and/or does airbrush is wrong if it pings. sent13: there is nothing such that it is not non-doric and it is socioeconomic. sent14: the fact that something is a ablactation and it is a V is incorrect if it is not conscious. sent15: something is socioeconomic if it is a Codiaeum and it is not conscious. sent16: the Hindu is not doric if that it is a kind of blastomeric thing that is a airbrush does not hold. sent17: the Hindu is not conscious. sent18: the Hindu is not a kind of a Codiaeum if the fact that the fuji is socioeconomic and it is a Codiaeum is not false.
sent2 -> int1: the fact that that the loading is unfaithful and it is a kind of an upstage does not hold is correct.; sent7 -> int2: if that the loading is unfaithful and it is an upstage is not correct then it is not conscious.; int1 & int2 -> int3: the loading is not conscious.; int3 & sent6 -> int4: the Hindu is a kind of a Codiaeum but it is not conscious.; sent15 -> int5: if the Hindu is a Codiaeum but it is not conscious it is socioeconomic.; int4 & int5 -> int6: the Hindu is socioeconomic.; int6 -> int7: the Hindu is either socioeconomic or not non-blastomeric or both.; int7 & sent5 -> int8: the fuji is not doric.; int8 & sent9 -> int9: that the aspergill is a kind of a V and it does airbrush is not right.; int9 -> hypothesis;
the fact that the tearaway is a ablactation and it is a V is not true.
sent14 -> int10: that the tearaway is a ablactation and it is a kind of a V is incorrect if it is not conscious.; sent4 -> int11: if that the aspergill is not doric and/or does airbrush is not true then it is not blastomeric.;
$hypothesis$ = there exists something such that the fact that it is a V and it is a airbrush is false. ; $context$ = sent1: if the loading is not unfaithful the fact that it is not conscious hold. sent2: there is nothing such that it is both unfaithful and upstage. sent3: something is blastomeric if it is socioeconomic and it is not a kind of an upstage. sent4: if that something is not doric or airbrushes or both is false then it is not blastomeric. sent5: the fuji is not doric if the Hindu is socioeconomic and/or it is blastomeric. sent6: if the loading is not conscious then the Hindu is a Codiaeum but it is not conscious. sent7: something is not conscious if that it is unfaithful and it is upstage is not correct. sent8: if something is a secretaryship but it is not a kind of a Bohemian then it is a registered. sent9: the fact that the aspergill is a V and is a airbrush is not right if the fuji is not doric. sent10: if that something is a sunglass and it is a ology is false then it does not cavil. sent11: if the aspergill is not blastomeric then the fuji is a kind of socioeconomic thing that is a kind of a Codiaeum. sent12: the fact that the aspergill is not doric and/or does airbrush is wrong if it pings. sent13: there is nothing such that it is not non-doric and it is socioeconomic. sent14: the fact that something is a ablactation and it is a V is incorrect if it is not conscious. sent15: something is socioeconomic if it is a Codiaeum and it is not conscious. sent16: the Hindu is not doric if that it is a kind of blastomeric thing that is a airbrush does not hold. sent17: the Hindu is not conscious. sent18: the Hindu is not a kind of a Codiaeum if the fact that the fuji is socioeconomic and it is a Codiaeum is not false. ; $proof$ = 
sent2 -> int1: the fact that that the loading is unfaithful and it is a kind of an upstage does not hold is correct.; sent7 -> int2: if that the loading is unfaithful and it is an upstage is not correct then it is not conscious.; int1 & int2 -> int3: the loading is not conscious.; int3 & sent6 -> int4: the Hindu is a kind of a Codiaeum but it is not conscious.; sent15 -> int5: if the Hindu is a Codiaeum but it is not conscious it is socioeconomic.; int4 & int5 -> int6: the Hindu is socioeconomic.; int6 -> int7: the Hindu is either socioeconomic or not non-blastomeric or both.; int7 & sent5 -> int8: the fuji is not doric.; int8 & sent9 -> int9: that the aspergill is a kind of a V and it does airbrush is not right.; int9 -> hypothesis; __PROVED__