the affiant is not armless or does not draw refusal or both.
sent1: the leaf-roller does reflectorize vasopressor. sent2: the fact that the nystatin either does not comfort Kirkuk or is not a silence or both does not hold. sent3: the affiant does draw refusal and does not comfort curate. sent4: that the curate is not a kind of a dining-room and/or it is not a palatal is not right. sent5: the nystatin draws refusal. sent6: something is armless if it does draw 1760s and is not a regimentation. sent7: the leaf-roller is not a resignation if it reflectorizes vasopressor. sent8: the nystatin draws 1760s and is not a regimentation if it does not comfort curate. sent9: if the nystatin is armless the fact that the affiant is not armless and/or it does not draw refusal is not true. sent10: the fact that the nystatin does not comfort curate is true. sent11: The fact that the curate does not comfort nystatin is true.
sent6 -> int1: the nystatin is armless if it does draw 1760s and is not a kind of a regimentation.; sent8 & sent10 -> int2: the nystatin draws 1760s but it is not a kind of a regimentation.; int1 & int2 -> int3: the nystatin is armless.; int3 & sent9 -> hypothesis;
the affiant is not armless or it does not draw refusal or both.
sent7 & sent1 -> int4: the leaf-roller is not a resignation.; int4 -> int5: there is something such that it is not a resignation.;
$hypothesis$ = the affiant is not armless or does not draw refusal or both. ; $context$ = sent1: the leaf-roller does reflectorize vasopressor. sent2: the fact that the nystatin either does not comfort Kirkuk or is not a silence or both does not hold. sent3: the affiant does draw refusal and does not comfort curate. sent4: that the curate is not a kind of a dining-room and/or it is not a palatal is not right. sent5: the nystatin draws refusal. sent6: something is armless if it does draw 1760s and is not a regimentation. sent7: the leaf-roller is not a resignation if it reflectorizes vasopressor. sent8: the nystatin draws 1760s and is not a regimentation if it does not comfort curate. sent9: if the nystatin is armless the fact that the affiant is not armless and/or it does not draw refusal is not true. sent10: the fact that the nystatin does not comfort curate is true. sent11: The fact that the curate does not comfort nystatin is true. ; $proof$ = 
sent6 -> int1: the nystatin is armless if it does draw 1760s and is not a kind of a regimentation.; sent8 & sent10 -> int2: the nystatin draws 1760s but it is not a kind of a regimentation.; int1 & int2 -> int3: the nystatin is armless.; int3 & sent9 -> hypothesis; __DISPROVED__