the gelignite is not occupational.
sent1: if the Miro depresses then the revenant is a xanthophyll. sent2: there is something such that the fact that it is not adequate but amoebic is not right. sent3: the revenant is not a xanthophyll if there exists something such that it is not immunotherapeutic. sent4: the Miro depresses if the buckminsterfullerene is coastal. sent5: the buckminsterfullerene is not a Clathrus if it is not coastal. sent6: the buckminsterfullerene is not amoebic if there exists something such that the fact that it is a kind of non-adequate thing that is amoebic is not right. sent7: the Kafir is not an expansion. sent8: the gelignite is occupational if the doge is lineal. sent9: if the fact that the Miro is a xanthophyll hold then the buckminsterfullerene is not coastal and it does not depress. sent10: if the Miro is not lineal it is a kind of a Clathrus and it is amoebic. sent11: if something does not depress then it is aperiodic and it is coastal. sent12: if the buckminsterfullerene is not a Clathrus and it is not amoebic the doge is lineal. sent13: something is a xanthophyll if it is a Clathrus. sent14: there are non-immunotherapeutic things. sent15: if there is something such that it is not coastal the calcitonin is not fearful. sent16: that the revenant is immunotherapeutic and adequate does not hold. sent17: if there exists something such that that it is not a xanthophyll and is coastal is not correct then the revenant is not coastal.
void -> assump1: Let's assume that the fact that the buckminsterfullerene is coastal is right.; sent4 & assump1 -> int1: the Miro depresses.; int1 & sent1 -> int2: that the revenant is a xanthophyll is right.; sent14 & sent3 -> int3: the revenant is not a kind of a xanthophyll.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the buckminsterfullerene is not coastal.; int5 & sent5 -> int6: the buckminsterfullerene is not a kind of a Clathrus.; sent2 & sent6 -> int7: the buckminsterfullerene is not amoebic.; int6 & int7 -> int8: the buckminsterfullerene is both not a Clathrus and not amoebic.; int8 & sent12 -> int9: the doge is lineal.; int9 & sent8 -> hypothesis;
the gelignite is aperiodic.
sent11 -> int10: the gelignite is aperiodic and it is coastal if it does not depress.;
$hypothesis$ = the gelignite is not occupational. ; $context$ = sent1: if the Miro depresses then the revenant is a xanthophyll. sent2: there is something such that the fact that it is not adequate but amoebic is not right. sent3: the revenant is not a xanthophyll if there exists something such that it is not immunotherapeutic. sent4: the Miro depresses if the buckminsterfullerene is coastal. sent5: the buckminsterfullerene is not a Clathrus if it is not coastal. sent6: the buckminsterfullerene is not amoebic if there exists something such that the fact that it is a kind of non-adequate thing that is amoebic is not right. sent7: the Kafir is not an expansion. sent8: the gelignite is occupational if the doge is lineal. sent9: if the fact that the Miro is a xanthophyll hold then the buckminsterfullerene is not coastal and it does not depress. sent10: if the Miro is not lineal it is a kind of a Clathrus and it is amoebic. sent11: if something does not depress then it is aperiodic and it is coastal. sent12: if the buckminsterfullerene is not a Clathrus and it is not amoebic the doge is lineal. sent13: something is a xanthophyll if it is a Clathrus. sent14: there are non-immunotherapeutic things. sent15: if there is something such that it is not coastal the calcitonin is not fearful. sent16: that the revenant is immunotherapeutic and adequate does not hold. sent17: if there exists something such that that it is not a xanthophyll and is coastal is not correct then the revenant is not coastal. ; $proof$ = 
void -> assump1: Let's assume that the fact that the buckminsterfullerene is coastal is right.; sent4 & assump1 -> int1: the Miro depresses.; int1 & sent1 -> int2: that the revenant is a xanthophyll is right.; sent14 & sent3 -> int3: the revenant is not a kind of a xanthophyll.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the buckminsterfullerene is not coastal.; int5 & sent5 -> int6: the buckminsterfullerene is not a kind of a Clathrus.; sent2 & sent6 -> int7: the buckminsterfullerene is not amoebic.; int6 & int7 -> int8: the buckminsterfullerene is both not a Clathrus and not amoebic.; int8 & sent12 -> int9: the doge is lineal.; int9 & sent8 -> hypothesis; __DISPROVED__