the gold does defile.
sent1: the gold is playable and/or not a deforestation. sent2: if something is not neoplastic but nonwoody then it is not a defile. sent3: the gold is anorectal. sent4: if the gold is a kind of a compunction then it defiles. sent5: if the gold is playable then it is a compunction. sent6: the fact that the backboard is non-weedy hold if the angrecum is a compunction but not meningeal. sent7: the gold is not weedy if the fact that it is not puerile and/or it is non-anorectal is not wrong. sent8: the gold is playable if the fact that it is not puerile and/or is not anorectal is wrong. sent9: if the gold is not anorectal then it is not weedy. sent10: the gold is not puerile and/or is anorectal. sent11: if the gold is not playable the fact that either the tropopause does not right pongee or it does not right monte or both is not right. sent12: the gold is weedy. sent13: something is a compunction and is not meningeal if it is not nonwoody. sent14: if that the backboard is meningeal and it is a defile is wrong then the gold is not a compunction. sent15: if that the angrecum is a Swinburne is true it is not neoplastic and it is not woody. sent16: the angrecum is a kind of a Swinburne.
void -> assump1: Let's assume that the gold is not puerile or it is non-anorectal or both.; sent7 & assump1 -> int1: the gold is not weedy.; int1 & sent12 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the gold is not puerile and/or it is not anorectal is not correct.; int3 & sent8 -> int4: the gold is playable.; int4 & sent5 -> int5: the gold is a compunction.; int5 & sent4 -> hypothesis;
the gold does not defile.
sent13 -> int6: the angrecum is a compunction but it is not meningeal if it is not nonwoody.;
$hypothesis$ = the gold does defile. ; $context$ = sent1: the gold is playable and/or not a deforestation. sent2: if something is not neoplastic but nonwoody then it is not a defile. sent3: the gold is anorectal. sent4: if the gold is a kind of a compunction then it defiles. sent5: if the gold is playable then it is a compunction. sent6: the fact that the backboard is non-weedy hold if the angrecum is a compunction but not meningeal. sent7: the gold is not weedy if the fact that it is not puerile and/or it is non-anorectal is not wrong. sent8: the gold is playable if the fact that it is not puerile and/or is not anorectal is wrong. sent9: if the gold is not anorectal then it is not weedy. sent10: the gold is not puerile and/or is anorectal. sent11: if the gold is not playable the fact that either the tropopause does not right pongee or it does not right monte or both is not right. sent12: the gold is weedy. sent13: something is a compunction and is not meningeal if it is not nonwoody. sent14: if that the backboard is meningeal and it is a defile is wrong then the gold is not a compunction. sent15: if that the angrecum is a Swinburne is true it is not neoplastic and it is not woody. sent16: the angrecum is a kind of a Swinburne. ; $proof$ = 
void -> assump1: Let's assume that the gold is not puerile or it is non-anorectal or both.; sent7 & assump1 -> int1: the gold is not weedy.; int1 & sent12 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the gold is not puerile and/or it is not anorectal is not correct.; int3 & sent8 -> int4: the gold is playable.; int4 & sent5 -> int5: the gold is a compunction.; int5 & sent4 -> hypothesis; __PROVED__