that if the NIMBY does not grate can the chiffon does induce contusion and/or it is a Lindera is not true.
sent1: if the chiffon does not induce contusion then the NIMBY either is a Lindera or grates can or both. sent2: the parchment does induce contusion if the chiffon is a kind of a Lindera. sent3: the chiffon induces contusion and/or it is a kind of a Lindera if the NIMBY grates can. sent4: if the NIMBY does not grate can the parchment is a Lindera and/or does induce contusion. sent5: the chiffon does induce contusion and/or is a Lindera if the parchment is not a Lindera. sent6: the NIMBY does grate can if the parchment is a kind of a Lindera. sent7: if the NIMBY does not grate can then the parchment is a Lindera or does grate can or both.
void -> assump2: Let's assume that the parchment is a Lindera.; sent6 & assump2 -> int1: the NIMBY does grate can.; void -> assump1: Let's assume that the NIMBY does not grate can.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the parchment is not a Lindera.; sent5 & int3 -> int4: the chiffon induces contusion and/or is a Lindera.; [assump1] & int4 -> hypothesis;
$hypothesis$ = that if the NIMBY does not grate can the chiffon does induce contusion and/or it is a Lindera is not true. ; $context$ = sent1: if the chiffon does not induce contusion then the NIMBY either is a Lindera or grates can or both. sent2: the parchment does induce contusion if the chiffon is a kind of a Lindera. sent3: the chiffon induces contusion and/or it is a kind of a Lindera if the NIMBY grates can. sent4: if the NIMBY does not grate can the parchment is a Lindera and/or does induce contusion. sent5: the chiffon does induce contusion and/or is a Lindera if the parchment is not a Lindera. sent6: the NIMBY does grate can if the parchment is a kind of a Lindera. sent7: if the NIMBY does not grate can then the parchment is a Lindera or does grate can or both. ; $proof$ = 
void -> assump2: Let's assume that the parchment is a Lindera.; sent6 & assump2 -> int1: the NIMBY does grate can.; void -> assump1: Let's assume that the NIMBY does not grate can.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the parchment is not a Lindera.; sent5 & int3 -> int4: the chiffon induces contusion and/or is a Lindera.; [assump1] & int4 -> hypothesis; __DISPROVED__