there is something such that if the fact that it is not unimportant is correct then it does overturn neritid and/or does not overturn collagenase.
sent1: if the collagenase does kayak then the suppressant overturns Plesianthropus. sent2: that something is a treasure but not Icelandic is false if the fact that it is glottal hold. sent3: something does overturn Plesianthropus or it kayaks or both if it is not unimportant. sent4: there is something such that if it is not a kind of a NSC then it does average melena and/or it is a she-devil. sent5: if the collagenase overturns Plesianthropus then the suppressant overturns Plesianthropus. sent6: the poxvirus is not a render. sent7: if the arquebus is not a kind of a treasure the collagenase is a Indra. sent8: if that the suppressant is not unimportant hold then it is a kayak. sent9: if the poxvirus does not render it does not dissipate and does inflate tribology. sent10: something is a kind of significant thing that does overturn collagenase if it does overturn neritid. sent11: if something kayaks then it either overturns neritid or does not overturn collagenase or both. sent12: the fact that the suppressant is a kayak is right if it is unimportant. sent13: a Indra does overturn neritid. sent14: if something that does not dissipate does inflate tribology then the electromagnetism is glottal. sent15: the suppressant is a kind of an investigation or it is not a dolichocephalic or both if it is unimportant. sent16: there exists something such that if it does not play Klein it is a peacoat and/or it is not a kind of a Lygus. sent17: if something overturns Sherrington it is a kind of a Bolshevik and/or it is not glottal.
void -> assump1: Let's assume that the suppressant is not unimportant.; sent8 & assump1 -> int1: the suppressant is a kind of a kayak.; sent11 -> int2: either the suppressant does overturn neritid or it does not overturn collagenase or both if it does kayak.; int1 & int2 -> int3: either the suppressant overturns neritid or it does not overturn collagenase or both.; [assump1] & int3 -> int4: the suppressant does overturn neritid and/or does not overturn collagenase if it is not unimportant.; int4 -> hypothesis;
either the suppressant overturns Plesianthropus or it does not play unclearness or both.
sent3 -> int5: if the collagenase is not unimportant it overturns Plesianthropus or is a kayak or both.; sent10 -> int6: if the collagenase overturns neritid then it is not unimportant and does overturn collagenase.; sent13 -> int7: the collagenase does overturn neritid if it is a Indra.; sent2 -> int8: the fact that the electromagnetism is a treasure but not Icelandic is incorrect if it is glottal.; sent9 & sent6 -> int9: the poxvirus does not dissipate but it does inflate tribology.; int9 -> int10: there is something such that it does not dissipate and does inflate tribology.; int10 & sent14 -> int11: the fact that the electromagnetism is glottal is not wrong.; int8 & int11 -> int12: the fact that the electromagnetism is a treasure but it is not Icelandic does not hold.; int12 -> int13: there is something such that the fact that it is a treasure that is not a kind of a Icelandic does not hold.;
$hypothesis$ = there is something such that if the fact that it is not unimportant is correct then it does overturn neritid and/or does not overturn collagenase. ; $context$ = sent1: if the collagenase does kayak then the suppressant overturns Plesianthropus. sent2: that something is a treasure but not Icelandic is false if the fact that it is glottal hold. sent3: something does overturn Plesianthropus or it kayaks or both if it is not unimportant. sent4: there is something such that if it is not a kind of a NSC then it does average melena and/or it is a she-devil. sent5: if the collagenase overturns Plesianthropus then the suppressant overturns Plesianthropus. sent6: the poxvirus is not a render. sent7: if the arquebus is not a kind of a treasure the collagenase is a Indra. sent8: if that the suppressant is not unimportant hold then it is a kayak. sent9: if the poxvirus does not render it does not dissipate and does inflate tribology. sent10: something is a kind of significant thing that does overturn collagenase if it does overturn neritid. sent11: if something kayaks then it either overturns neritid or does not overturn collagenase or both. sent12: the fact that the suppressant is a kayak is right if it is unimportant. sent13: a Indra does overturn neritid. sent14: if something that does not dissipate does inflate tribology then the electromagnetism is glottal. sent15: the suppressant is a kind of an investigation or it is not a dolichocephalic or both if it is unimportant. sent16: there exists something such that if it does not play Klein it is a peacoat and/or it is not a kind of a Lygus. sent17: if something overturns Sherrington it is a kind of a Bolshevik and/or it is not glottal. ; $proof$ = 
void -> assump1: Let's assume that the suppressant is not unimportant.; sent8 & assump1 -> int1: the suppressant is a kind of a kayak.; sent11 -> int2: either the suppressant does overturn neritid or it does not overturn collagenase or both if it does kayak.; int1 & int2 -> int3: either the suppressant overturns neritid or it does not overturn collagenase or both.; [assump1] & int3 -> int4: the suppressant does overturn neritid and/or does not overturn collagenase if it is not unimportant.; int4 -> hypothesis; __PROVED__