the instigator is not a capitulum.
sent1: if the firetrap is not temperate and it does not hog CV then the fact that the instigator is not a kind of a capitulum is not false. sent2: something is not temperate if it does not hog turtleneck. sent3: that if the repository franks but it is not the tablespoon then the repository beggars bondsman is not wrong. sent4: the fact that the firetrap does beggar bondsman but it is not intractable is not true if the fact that it is temperate is not false. sent5: that the maleate is not hydrolyzable and does not hog turtleneck does not hold if the firetrap is not intractable. sent6: the repository does not beggar bondsman if there is something such that it is intractable or it is hydrolyzable or both. sent7: if the fact that the turtleneck is both not a capitulum and a frank is incorrect then the instigator does not hog CV. sent8: if the firetrap hogs turtleneck then it is hydrolyzable. sent9: the repository is not a frank and not a tablespoon. sent10: if something does not frank and is not a tablespoon it beggars bondsman. sent11: the firetrap is not intractable if that the fact that the repository is not intractable and it beggars bondsman is correct is false. sent12: if the firetrap does not hog turtleneck then it is not temperate. sent13: if something is a frank that is not a tablespoon then it beggars bondsman. sent14: something is temperate if the fact that it is not hydrolyzable and it does not hog turtleneck is false.
void -> assump1: Let's assume that the firetrap does hog turtleneck.; sent8 & assump1 -> int1: the firetrap is hydrolyzable.; int1 -> int2: the firetrap is intractable and/or hydrolyzable.; int2 -> int3: there is something such that it is intractable or it is hydrolyzable or both.; int3 & sent6 -> int4: the repository does not beggar bondsman.; sent10 -> int5: the repository beggars bondsman if it does not frank and it is not a tablespoon.; int5 & sent9 -> int6: the repository does beggar bondsman.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the firetrap does not hog turtleneck.;
the maleate is temperate.
sent14 -> int9: the maleate is temperate if the fact that it is not hydrolyzable and it does not hog turtleneck is false.;
$hypothesis$ = the instigator is not a capitulum. ; $context$ = sent1: if the firetrap is not temperate and it does not hog CV then the fact that the instigator is not a kind of a capitulum is not false. sent2: something is not temperate if it does not hog turtleneck. sent3: that if the repository franks but it is not the tablespoon then the repository beggars bondsman is not wrong. sent4: the fact that the firetrap does beggar bondsman but it is not intractable is not true if the fact that it is temperate is not false. sent5: that the maleate is not hydrolyzable and does not hog turtleneck does not hold if the firetrap is not intractable. sent6: the repository does not beggar bondsman if there is something such that it is intractable or it is hydrolyzable or both. sent7: if the fact that the turtleneck is both not a capitulum and a frank is incorrect then the instigator does not hog CV. sent8: if the firetrap hogs turtleneck then it is hydrolyzable. sent9: the repository is not a frank and not a tablespoon. sent10: if something does not frank and is not a tablespoon it beggars bondsman. sent11: the firetrap is not intractable if that the fact that the repository is not intractable and it beggars bondsman is correct is false. sent12: if the firetrap does not hog turtleneck then it is not temperate. sent13: if something is a frank that is not a tablespoon then it beggars bondsman. sent14: something is temperate if the fact that it is not hydrolyzable and it does not hog turtleneck is false. ; $proof$ = 
void -> assump1: Let's assume that the firetrap does hog turtleneck.; sent8 & assump1 -> int1: the firetrap is hydrolyzable.; int1 -> int2: the firetrap is intractable and/or hydrolyzable.; int2 -> int3: there is something such that it is intractable or it is hydrolyzable or both.; int3 & sent6 -> int4: the repository does not beggar bondsman.; sent10 -> int5: the repository beggars bondsman if it does not frank and it is not a tablespoon.; int5 & sent9 -> int6: the repository does beggar bondsman.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the firetrap does not hog turtleneck.; __UNKNOWN__