the mug is a documented if the atlas is polyphonic.
sent1: something is polyphonic if the fact that it does not deviate creepy-crawly hold. sent2: something is not polyphonic if it does not deviate creepy-crawly. sent3: that the subordinate does correlate slasher and it is polyphonic is not right. sent4: the atlas is not a documented. sent5: if something is not intralobular then the fact that it is not a namby-pamby hold. sent6: if a non-polyphonic thing is not a trogon then it does not deviate creepy-crawly. sent7: the fact that the mug is asclepiadaceous and it is a kind of a documented hold if the copilot does not deviate creepy-crawly. sent8: if the mug is asclepiadaceous then the atlas is asclepiadaceous. sent9: if there is something such that that it correlates slasher and it is polyphonic is not right then the fact that the copilot is polyphonic is right.
void -> assump1: Let's assume that the atlas is polyphonic.; sent2 -> int1: if the atlas does not deviate creepy-crawly the fact that it is not polyphonic hold.; void -> assump2: Let's assume that the atlas does not deviate creepy-crawly.; int1 & assump2 -> int2: the fact that the atlas is not polyphonic is true.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the atlas does deviate creepy-crawly.;
the atlas is asclepiadaceous.
sent6 -> int5: if the copilot is not polyphonic and it is not a kind of a trogon it does not deviate creepy-crawly.; sent3 -> int6: there is something such that the fact that it correlates slasher and it is polyphonic is wrong.; int6 & sent9 -> int7: the copilot is not polyphonic.;
$hypothesis$ = the mug is a documented if the atlas is polyphonic. ; $context$ = sent1: something is polyphonic if the fact that it does not deviate creepy-crawly hold. sent2: something is not polyphonic if it does not deviate creepy-crawly. sent3: that the subordinate does correlate slasher and it is polyphonic is not right. sent4: the atlas is not a documented. sent5: if something is not intralobular then the fact that it is not a namby-pamby hold. sent6: if a non-polyphonic thing is not a trogon then it does not deviate creepy-crawly. sent7: the fact that the mug is asclepiadaceous and it is a kind of a documented hold if the copilot does not deviate creepy-crawly. sent8: if the mug is asclepiadaceous then the atlas is asclepiadaceous. sent9: if there is something such that that it correlates slasher and it is polyphonic is not right then the fact that the copilot is polyphonic is right. ; $proof$ = 
void -> assump1: Let's assume that the atlas is polyphonic.; sent2 -> int1: if the atlas does not deviate creepy-crawly the fact that it is not polyphonic hold.; void -> assump2: Let's assume that the atlas does not deviate creepy-crawly.; int1 & assump2 -> int2: the fact that the atlas is not polyphonic is true.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the atlas does deviate creepy-crawly.; __UNKNOWN__