the urologist does not preoccupy abundance.
sent1: if the urologist is not a vicar-general it does preoccupy abundance and is a combo. sent2: if a combo is a kind of a vicar-general it does not cream. sent3: the clinometer is an equatorial. sent4: if the clinometer is not a kind of a cream then the macaque does smooch. sent5: if that the macaque does smooch is not false then the urologist does not preoccupy abundance but it does smooch. sent6: the clinometer is not aciculate. sent7: the clinometer is a vicar-general that is a tour.
void -> assump1: Let's assume that the clinometer is not a combo.; sent3 & sent6 -> int1: the clinometer is both an equatorial and not aciculate.; sent7 -> int2: the clinometer is a kind of a vicar-general.; sent2 -> int3: the clinometer is not a cream if it is a combo and is a vicar-general.;
the urologist preoccupies abundance.
$hypothesis$ = the urologist does not preoccupy abundance. ; $context$ = sent1: if the urologist is not a vicar-general it does preoccupy abundance and is a combo. sent2: if a combo is a kind of a vicar-general it does not cream. sent3: the clinometer is an equatorial. sent4: if the clinometer is not a kind of a cream then the macaque does smooch. sent5: if that the macaque does smooch is not false then the urologist does not preoccupy abundance but it does smooch. sent6: the clinometer is not aciculate. sent7: the clinometer is a vicar-general that is a tour. ; $proof$ = 
void -> assump1: Let's assume that the clinometer is not a combo.; sent3 & sent6 -> int1: the clinometer is both an equatorial and not aciculate.; sent7 -> int2: the clinometer is a kind of a vicar-general.; sent2 -> int3: the clinometer is not a cream if it is a combo and is a vicar-general.; __UNKNOWN__