the forelock is a kind of a patchiness and is a kind of a hypobasidium.
sent1: if something is a nomia then it is a hypobasidium. sent2: the strategist defrays pantsuit. sent3: if there exists something such that it is a best the dibranchiate does clock ideality and is recoverable. sent4: the forelock defrays pantsuit. sent5: the dibranchiate is unscalable and it is recoverable. sent6: the forelock is a kind of a patchiness and is unscalable. sent7: there exists something such that it is not a kind of a chokehold and it is non-ablative. sent8: something is a kind of a best. sent9: if the strategist defrays pantsuit and does not reveal infection then the forelock is a nomia. sent10: the dibranchiate does not clock ideality if the strategist reveals infection and it is a kind of a jimdandy. sent11: The pantsuit defrays strategist.
void -> assump1: Let's assume that the strategist reveals infection.; sent8 & sent3 -> int1: the dibranchiate clocks ideality and it is recoverable.; int1 -> int2: the dibranchiate clocks ideality.; sent1 -> int3: the forelock is a kind of a hypobasidium if it is a kind of a nomia.; sent6 -> int4: the forelock is a kind of a patchiness.;
$hypothesis$ = the forelock is a kind of a patchiness and is a kind of a hypobasidium. ; $context$ = sent1: if something is a nomia then it is a hypobasidium. sent2: the strategist defrays pantsuit. sent3: if there exists something such that it is a best the dibranchiate does clock ideality and is recoverable. sent4: the forelock defrays pantsuit. sent5: the dibranchiate is unscalable and it is recoverable. sent6: the forelock is a kind of a patchiness and is unscalable. sent7: there exists something such that it is not a kind of a chokehold and it is non-ablative. sent8: something is a kind of a best. sent9: if the strategist defrays pantsuit and does not reveal infection then the forelock is a nomia. sent10: the dibranchiate does not clock ideality if the strategist reveals infection and it is a kind of a jimdandy. sent11: The pantsuit defrays strategist. ; $proof$ = 
void -> assump1: Let's assume that the strategist reveals infection.; sent8 & sent3 -> int1: the dibranchiate clocks ideality and it is recoverable.; int1 -> int2: the dibranchiate clocks ideality.; sent1 -> int3: the forelock is a kind of a hypobasidium if it is a kind of a nomia.; sent6 -> int4: the forelock is a kind of a patchiness.; __UNKNOWN__