there exists something such that it does not remonstrate hygiene.
sent1: if the flattop is cupric and does remonstrate hygiene the suspension is not a kind of an exit. sent2: if the suspension is a Aesir it is not a constituent or it does not remonstrate Parker or both. sent3: if the suspension does not exit the sard is not a kind of a brittleness. sent4: that the hakim is non-technophobic thing that does syllogize tear is wrong. sent5: the fact that the flattop is cupric hold. sent6: if that that the sard is not spiritualistic and it is not a kind of an anti is wrong is not false it is a Aesir. sent7: if the sard is a kind of a Aesir then the suspension is a kind of a Aesir. sent8: if the fact that the hakim is not technophobic but it syllogizes tear is false the sard does not syllogizes tear. sent9: if the fact that the flattop does not remonstrate hygiene and it is not an exit does not hold then the fennel is not cupric. sent10: the fact that the sard is both non-spiritualistic and non-anti does not hold. sent11: something is not mammary and it does not measure diagram if the fact that it is not cupric is not false. sent12: something is not technophobic if it either is not a kind of a constituent or does not remonstrate Parker or both. sent13: the fact that the suspension is not a brittleness is not false if it does not remonstrate Hamamelidoxylon. sent14: something does not syllogize tear and/or it does not remonstrate Hamamelidoxylon if that it is not technophobic hold.
void -> assump1: Let's assume that that the flattop remonstrates hygiene is correct.; sent5 & assump1 -> int1: the flattop is not non-cupric and does remonstrate hygiene.; int1 & sent1 -> int2: the suspension does not exit.; int2 & sent3 -> int3: the sard is not a kind of a brittleness.; sent8 & sent4 -> int4: the sard does not syllogize tear.; int3 & int4 -> int5: the sard is not a kind of a brittleness and it does not syllogize tear.;
the fennel is not mammary and it does not measure diagram.
sent11 -> int6: the fennel is not mammary and it does not measure diagram if it is not cupric.; sent14 -> int7: if the suspension is not technophobic then it does not syllogize tear and/or it does not remonstrate Hamamelidoxylon.; sent12 -> int8: the suspension is not technophobic if it is not a constituent and/or it does not remonstrate Parker.; sent6 & sent10 -> int9: the sard is a kind of a Aesir.; sent7 & int9 -> int10: the suspension is a Aesir.; sent2 & int10 -> int11: that either the suspension is not a constituent or it does not remonstrate Parker or both hold.; int8 & int11 -> int12: the suspension is not technophobic.; int7 & int12 -> int13: the suspension does not syllogize tear or does not remonstrate Hamamelidoxylon or both.;
$hypothesis$ = there exists something such that it does not remonstrate hygiene. ; $context$ = sent1: if the flattop is cupric and does remonstrate hygiene the suspension is not a kind of an exit. sent2: if the suspension is a Aesir it is not a constituent or it does not remonstrate Parker or both. sent3: if the suspension does not exit the sard is not a kind of a brittleness. sent4: that the hakim is non-technophobic thing that does syllogize tear is wrong. sent5: the fact that the flattop is cupric hold. sent6: if that that the sard is not spiritualistic and it is not a kind of an anti is wrong is not false it is a Aesir. sent7: if the sard is a kind of a Aesir then the suspension is a kind of a Aesir. sent8: if the fact that the hakim is not technophobic but it syllogizes tear is false the sard does not syllogizes tear. sent9: if the fact that the flattop does not remonstrate hygiene and it is not an exit does not hold then the fennel is not cupric. sent10: the fact that the sard is both non-spiritualistic and non-anti does not hold. sent11: something is not mammary and it does not measure diagram if the fact that it is not cupric is not false. sent12: something is not technophobic if it either is not a kind of a constituent or does not remonstrate Parker or both. sent13: the fact that the suspension is not a brittleness is not false if it does not remonstrate Hamamelidoxylon. sent14: something does not syllogize tear and/or it does not remonstrate Hamamelidoxylon if that it is not technophobic hold. ; $proof$ = 
void -> assump1: Let's assume that that the flattop remonstrates hygiene is correct.; sent5 & assump1 -> int1: the flattop is not non-cupric and does remonstrate hygiene.; int1 & sent1 -> int2: the suspension does not exit.; int2 & sent3 -> int3: the sard is not a kind of a brittleness.; sent8 & sent4 -> int4: the sard does not syllogize tear.; int3 & int4 -> int5: the sard is not a kind of a brittleness and it does not syllogize tear.; __UNKNOWN__