there is something such that if it is a kind of a IDDM it welds moneygrubber.
sent1: something does weld moneygrubber if it is not definite.
void -> assump1: Let's assume that the dachshund is a IDDM.; sent1 -> int1: the dachshund does weld moneygrubber if it is not definite.;
$hypothesis$ = there is something such that if it is a kind of a IDDM it welds moneygrubber. ; $context$ = sent1: something does weld moneygrubber if it is not definite. ; $proof$ = 
void -> assump1: Let's assume that the dachshund is a IDDM.; sent1 -> int1: the dachshund does weld moneygrubber if it is not definite.; __UNKNOWN__