the DS is olfactory.
sent1: something is olfactory if it is evangelistic. sent2: if the DS is not olfactory and is not a Belostomatidae the use is a Belostomatidae. sent3: if something is not a Kartik it is not a trousseau and is not evangelistic. sent4: the DS is a Belostomatidae and evangelistic. sent5: the DS is a kind of a Belostomatidae.
sent4 -> int1: the DS is evangelistic.; sent1 -> int2: the DS is olfactory if that it is evangelistic hold.; int1 & int2 -> hypothesis;
the use is a Belostomatidae.
sent3 -> int3: the abstractor is not a trousseau and it is not evangelistic if it is not a Kartik.;
$hypothesis$ = the DS is olfactory. ; $context$ = sent1: something is olfactory if it is evangelistic. sent2: if the DS is not olfactory and is not a Belostomatidae the use is a Belostomatidae. sent3: if something is not a Kartik it is not a trousseau and is not evangelistic. sent4: the DS is a Belostomatidae and evangelistic. sent5: the DS is a kind of a Belostomatidae. ; $proof$ = 
sent4 -> int1: the DS is evangelistic.; sent1 -> int2: the DS is olfactory if that it is evangelistic hold.; int1 & int2 -> hypothesis; __PROVED__