the compartment is not ungenerous.
sent1: the parallel does not glom raving if the fact that it does glom raving and does not subtilize jackhammer is not true. sent2: the siren is not apoplectic. sent3: if the baron is ungenerous then the compartment is ungenerous. sent4: the fact that something is off but it is not a rise is wrong if it is ungenerous. sent5: the compartment is not apoplectic. sent6: if the fact that the fact that something is non-off thing that is not a rise is right is incorrect then it does appropriate parallel. sent7: the fact that something that is tannic is not a kind of a opportuneness and does not appropriate parallel hold. sent8: if there exists something such that it does not glom raving then the amphibolite is not non-uncial or exists or both. sent9: the compartment does not appropriate parallel and is not apoplectic if the fact that the baron is a opportuneness is correct. sent10: that something is a kind of non-off thing that is not a rise is not correct if that it is ungenerous is not false. sent11: that something is not a opportuneness but it is apoplectic is incorrect if it is ungenerous. sent12: if the amphibolite is a uncial the defoliation is tannic. sent13: the defoliation is a opportuneness. sent14: if something is off it does appropriate parallel. sent15: that the parallel does glom raving and does not subtilize jackhammer does not hold. sent16: the fact that the defoliation is not off and it is not a vow is not true if it is a paneled.
sent10 -> int1: that the compartment is not off and it is not a rise is not right if it is ungenerous.; void -> assump1: Let's assume that the compartment is ungenerous.; int1 & assump1 -> int2: that the compartment is non-off thing that is not a rise is not correct.; sent6 -> int3: the compartment appropriates parallel if that it is not off and it does not rise is wrong.; int2 & int3 -> int4: the compartment does appropriate parallel.;
the compartment is ungenerous.
sent7 -> int5: the defoliation is not a kind of a opportuneness and does not appropriate parallel if it is tannic.; sent1 & sent15 -> int6: the parallel does not glom raving.; int6 -> int7: something does not glom raving.; int7 & sent8 -> int8: the amphibolite is a kind of a uncial and/or exists.;
$hypothesis$ = the compartment is not ungenerous. ; $context$ = sent1: the parallel does not glom raving if the fact that it does glom raving and does not subtilize jackhammer is not true. sent2: the siren is not apoplectic. sent3: if the baron is ungenerous then the compartment is ungenerous. sent4: the fact that something is off but it is not a rise is wrong if it is ungenerous. sent5: the compartment is not apoplectic. sent6: if the fact that the fact that something is non-off thing that is not a rise is right is incorrect then it does appropriate parallel. sent7: the fact that something that is tannic is not a kind of a opportuneness and does not appropriate parallel hold. sent8: if there exists something such that it does not glom raving then the amphibolite is not non-uncial or exists or both. sent9: the compartment does not appropriate parallel and is not apoplectic if the fact that the baron is a opportuneness is correct. sent10: that something is a kind of non-off thing that is not a rise is not correct if that it is ungenerous is not false. sent11: that something is not a opportuneness but it is apoplectic is incorrect if it is ungenerous. sent12: if the amphibolite is a uncial the defoliation is tannic. sent13: the defoliation is a opportuneness. sent14: if something is off it does appropriate parallel. sent15: that the parallel does glom raving and does not subtilize jackhammer does not hold. sent16: the fact that the defoliation is not off and it is not a vow is not true if it is a paneled. ; $proof$ = 
sent10 -> int1: that the compartment is not off and it is not a rise is not right if it is ungenerous.; void -> assump1: Let's assume that the compartment is ungenerous.; int1 & assump1 -> int2: that the compartment is non-off thing that is not a rise is not correct.; sent6 -> int3: the compartment appropriates parallel if that it is not off and it does not rise is wrong.; int2 & int3 -> int4: the compartment does appropriate parallel.; __UNKNOWN__