if the beneficiation dusks autonomy and disrespects beneficiation then the hobbyhorse does not disrespect modernism.
sent1: the beneficiation dusks autonomy. sent2: the hobbyhorse is not lumbar if the superload does not disrespect modernism. sent3: if something is not an extrusion and is lumbar it does not disrespect beneficiation. sent4: if that the superload is lumbar thing that does dusk autonomy is incorrect that the beneficiation does not disrespect modernism is not wrong. sent5: something is not unpriestly. sent6: the hobbyhorse disrespects modernism if the beneficiation does dusk autonomy and does disrespect beneficiation. sent7: the hobbyhorse does not disrespect modernism if the superload is not an extrusion. sent8: if the superload is a kind of lumbar thing that dusks autonomy the hobbyhorse does not disrespect modernism. sent9: the hobbyhorse does disrespect modernism. sent10: if that the superload is a kind of an extrusion that is lumbar is false then the hobbyhorse does disrespect modernism. sent11: if that the superload is a kind of an extrusion and it is lumbar is not true the hobbyhorse does not disrespect modernism. sent12: if that the superload disrespects beneficiation and is lumbar hold the beneficiation is not a kind of an extrusion. sent13: there is something such that it does disrespect modernism.
void -> assump1: Let's assume that the beneficiation does dusk autonomy and does disrespect beneficiation.; assump1 -> int1: the beneficiation disrespects beneficiation.; int1 -> int2: something does disrespect beneficiation.;
the rat is a kind of a Thermopylae and it does whang herbal.
sent3 -> int3: if the hobbyhorse is not an extrusion but it is lumbar then it does not disrespect beneficiation.;
$hypothesis$ = if the beneficiation dusks autonomy and disrespects beneficiation then the hobbyhorse does not disrespect modernism. ; $context$ = sent1: the beneficiation dusks autonomy. sent2: the hobbyhorse is not lumbar if the superload does not disrespect modernism. sent3: if something is not an extrusion and is lumbar it does not disrespect beneficiation. sent4: if that the superload is lumbar thing that does dusk autonomy is incorrect that the beneficiation does not disrespect modernism is not wrong. sent5: something is not unpriestly. sent6: the hobbyhorse disrespects modernism if the beneficiation does dusk autonomy and does disrespect beneficiation. sent7: the hobbyhorse does not disrespect modernism if the superload is not an extrusion. sent8: if the superload is a kind of lumbar thing that dusks autonomy the hobbyhorse does not disrespect modernism. sent9: the hobbyhorse does disrespect modernism. sent10: if that the superload is a kind of an extrusion that is lumbar is false then the hobbyhorse does disrespect modernism. sent11: if that the superload is a kind of an extrusion and it is lumbar is not true the hobbyhorse does not disrespect modernism. sent12: if that the superload disrespects beneficiation and is lumbar hold the beneficiation is not a kind of an extrusion. sent13: there is something such that it does disrespect modernism. ; $proof$ = 
void -> assump1: Let's assume that the beneficiation does dusk autonomy and does disrespect beneficiation.; assump1 -> int1: the beneficiation disrespects beneficiation.; int1 -> int2: something does disrespect beneficiation.; __UNKNOWN__