We know the coco contained no strychnine. 
it is certain that the coco contained strychnine
mnli hypothesis: it is certain that the coco contained strychnine premise: We know the coco contained no strychnine. 