the pocketknife does not adduct hazardousness.
sent1: if something is a criollo the fact that it is not non-hollow and it does not adduct hazardousness is not right. sent2: if something is a kind of a Indonesian it does not adduct hazardousness. sent3: the pocketknife is not a kind of a criollo. sent4: the pocketknife is not medical. sent5: the pocketknife is not a kind of a CISC and/or is a hollow if it is not a criollo. sent6: if something is not a CISC and/or it is a kind of a hollow it is a hollow. sent7: something that does lamb shamrock is not umbilical. sent8: if the pocketknife is a kind of a criollo then the fact that it is not plagioclastic hold. sent9: something adducts hazardousness if the fact that it is a hollow and does not adducts hazardousness is false.
void -> assump1: Let's assume that the pocketknife does adduct hazardousness.; sent6 -> int1: if the pocketknife is not a CISC and/or it is hollow it is a hollow.; sent5 & sent3 -> int2: either the pocketknife is not a kind of a CISC or it is hollow or both.; int1 & int2 -> int3: the pocketknife does hollow.;
the fact that the condenser does not adduct hazardousness hold if it is a Indonesian.
sent2 -> hypothesis;
$hypothesis$ = the pocketknife does not adduct hazardousness. ; $context$ = sent1: if something is a criollo the fact that it is not non-hollow and it does not adduct hazardousness is not right. sent2: if something is a kind of a Indonesian it does not adduct hazardousness. sent3: the pocketknife is not a kind of a criollo. sent4: the pocketknife is not medical. sent5: the pocketknife is not a kind of a CISC and/or is a hollow if it is not a criollo. sent6: if something is not a CISC and/or it is a kind of a hollow it is a hollow. sent7: something that does lamb shamrock is not umbilical. sent8: if the pocketknife is a kind of a criollo then the fact that it is not plagioclastic hold. sent9: something adducts hazardousness if the fact that it is a hollow and does not adducts hazardousness is false. ; $proof$ = 
void -> assump1: Let's assume that the pocketknife does adduct hazardousness.; sent6 -> int1: if the pocketknife is not a CISC and/or it is hollow it is a hollow.; sent5 & sent3 -> int2: either the pocketknife is not a kind of a CISC or it is hollow or both.; int1 & int2 -> int3: the pocketknife does hollow.; __UNKNOWN__