log_implies(type(var(y), dog), holds_result(test, true)).
holds_result(test, true).