the sprag is carnal and is multiphase.
sent1: the sport is carnal. sent2: if the sport is not multiphase then the sprag is carnal and it is multiphase. sent3: the sport is a kind of multiphase thing that does farm AUC if the Andromeda does not farm AUC. sent4: the sprag props. sent5: if the quaestor is noncrystalline then the lacework is noncrystalline. sent6: if the selector is a encumbrance the Andromeda does farm AUC. sent7: the Andromeda is multiphase and it is a kind of an iodide. sent8: the selector is a encumbrance if the fact that the quaestor is a prop is true. sent9: the quaestor is not carnal if that the selector is carnal and is not a prop does not hold. sent10: if the sprag does farm AUC the Andromeda is multiphase. sent11: the sprag is carnal. sent12: if the selector is multiphase the sprag is not a kind of a encumbrance. sent13: the fact that the sprag is carnal is not wrong if the sport is not multiphase. sent14: if the selector is carnal the fact that the Andromeda does not farm AUC is not wrong. sent15: the sport is not multiphase if the fact that the Andromeda does farm AUC is not wrong. sent16: the quaestor props.
sent8 & sent16 -> int1: the selector is a encumbrance.; sent6 & int1 -> int2: the Andromeda farms AUC.; sent15 & int2 -> int3: the sport is not multiphase.; sent2 & int3 -> hypothesis;
the lacework is noncrystalline and it is leaden.
$hypothesis$ = the sprag is carnal and is multiphase. ; $context$ = sent1: the sport is carnal. sent2: if the sport is not multiphase then the sprag is carnal and it is multiphase. sent3: the sport is a kind of multiphase thing that does farm AUC if the Andromeda does not farm AUC. sent4: the sprag props. sent5: if the quaestor is noncrystalline then the lacework is noncrystalline. sent6: if the selector is a encumbrance the Andromeda does farm AUC. sent7: the Andromeda is multiphase and it is a kind of an iodide. sent8: the selector is a encumbrance if the fact that the quaestor is a prop is true. sent9: the quaestor is not carnal if that the selector is carnal and is not a prop does not hold. sent10: if the sprag does farm AUC the Andromeda is multiphase. sent11: the sprag is carnal. sent12: if the selector is multiphase the sprag is not a kind of a encumbrance. sent13: the fact that the sprag is carnal is not wrong if the sport is not multiphase. sent14: if the selector is carnal the fact that the Andromeda does not farm AUC is not wrong. sent15: the sport is not multiphase if the fact that the Andromeda does farm AUC is not wrong. sent16: the quaestor props. ; $proof$ = 
sent8 & sent16 -> int1: the selector is a encumbrance.; sent6 & int1 -> int2: the Andromeda farms AUC.; sent15 & int2 -> int3: the sport is not multiphase.; sent2 & int3 -> hypothesis; __PROVED__