the cinquefoil is not nonproprietary.
sent1: the deposition is not a Pound if the nitrochloromethane is not a Pound. sent2: everything is not an automaton. sent3: if the nitrochloromethane is not a Pound the fact that the deposition is nonindustrial and/or a Pound does not hold. sent4: if the fact that the cinquefoil is a kind of a Pound or it is nonindustrial or both is wrong then the deposition is not nonproprietary. sent5: the fact that the spritzer is a Sirach or it is a Pound or both is incorrect. sent6: the deposition is not a Pound. sent7: everything is not a Pound. sent8: that the deposition is nonproprietary and/or it is nonindustrial is not right if the cinquefoil is not nonindustrial. sent9: the cinquefoil is not nonproprietary if the fact that the deposition is nonindustrial and/or is a Pound does not hold. sent10: everything does not clean pool.
sent7 -> int1: the fact that the nitrochloromethane is not a Pound hold.; sent3 & int1 -> int2: that the deposition is not industrial and/or is a kind of a Pound is wrong.; sent9 & int2 -> hypothesis;
$hypothesis$ = the cinquefoil is not nonproprietary. ; $context$ = sent1: the deposition is not a Pound if the nitrochloromethane is not a Pound. sent2: everything is not an automaton. sent3: if the nitrochloromethane is not a Pound the fact that the deposition is nonindustrial and/or a Pound does not hold. sent4: if the fact that the cinquefoil is a kind of a Pound or it is nonindustrial or both is wrong then the deposition is not nonproprietary. sent5: the fact that the spritzer is a Sirach or it is a Pound or both is incorrect. sent6: the deposition is not a Pound. sent7: everything is not a Pound. sent8: that the deposition is nonproprietary and/or it is nonindustrial is not right if the cinquefoil is not nonindustrial. sent9: the cinquefoil is not nonproprietary if the fact that the deposition is nonindustrial and/or is a Pound does not hold. sent10: everything does not clean pool. ; $proof$ = 
sent7 -> int1: the fact that the nitrochloromethane is not a Pound hold.; sent3 & int1 -> int2: that the deposition is not industrial and/or is a kind of a Pound is wrong.; sent9 & int2 -> hypothesis; __PROVED__