the dockage lexicalizes tetrahydrocannabinol.
sent1: if something lexicalizes gallina but it is not a gharry it is not polemoniaceous. sent2: if the dockage does not lexicalize tetrahydrocannabinol then it is not a kind of a fondler and does not lexicalize refinement. sent3: that the porcupine lexicalizes Pinter and lexicalizes tetrahydrocannabinol hold if the dockage is not polemoniaceous. sent4: the fact that the waters is a kind of a moratorium and is not a kind of a kat is false if the great-uncle is an overhaul. sent5: something is not a mash and it is not astronautic if it is ovular. sent6: if something is stemless it is a kind of a looseness. sent7: the great-uncle is stemless. sent8: the mausoleum does lexicalize Pinter if the waters is not a mash and it is not astronautic. sent9: if the mausoleum lexicalizes Pinter the serow is a gharry. sent10: the fact that the waters is stemless if the great-uncle is stemless hold. sent11: if the fact that the mausoleum is algometric but it is not stemless does not hold the serow is not a looseness. sent12: the serow lexicalizes gallina if the dockage is polemoniaceous. sent13: that the mausoleum does not lexicalize Pinter is not wrong. sent14: the great-uncle is a kind of an overhaul if there exists something such that that it is not a kind of an overhaul and is a kind of a megalopolis is false. sent15: there is something such that the fact that it is not an overhaul and it is a megalopolis is not right. sent16: the fact that the dockage is polemoniaceous hold if it is not a fondler and does not lexicalize refinement. sent17: something is non-algometric if the fact that it is both a moratorium and not a kat is not correct. sent18: if the serow is a mash then the dockage is a mash. sent19: something lexicalizes gallina but it is not a gharry if it is non-astronautic. sent20: if there exists something such that it is a gharry then the dockage does not lexicalize gallina and/or is not polemoniaceous. sent21: something that is not a looseness is ovular and a mash. sent22: something is non-astronautic if it is a mash. sent23: the mausoleum is a kind of a gharry but it does not lexicalize Pinter if that the serow lexicalizes gallina is right. sent24: the fact that the mausoleum is a kind of a gharry that does not lexicalize Pinter is not right. sent25: something does not lexicalize tetrahydrocannabinol if it does not lexicalize gallina.
void -> assump1: Let's assume that the dockage does not lexicalize tetrahydrocannabinol.; sent2 & assump1 -> int1: the dockage is not a kind of a fondler and it does not lexicalize refinement.; int1 & sent16 -> int2: the dockage is polemoniaceous.; int2 & sent12 -> int3: the fact that the serow lexicalizes gallina is correct.; int3 & sent23 -> int4: the mausoleum is a kind of a gharry but it does not lexicalize Pinter.; int4 & sent24 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
the dockage does not lexicalize tetrahydrocannabinol.
sent5 -> int6: if the waters is ovular then the fact that it is not a mash and it is not astronautic hold.; sent6 -> int7: if the waters is stemless then it is a looseness.; sent10 & sent7 -> int8: the waters is stemless.; int7 & int8 -> int9: the waters is a looseness.; sent25 -> int10: if the dockage does not lexicalize gallina then it does not lexicalize tetrahydrocannabinol.;
$hypothesis$ = the dockage lexicalizes tetrahydrocannabinol. ; $context$ = sent1: if something lexicalizes gallina but it is not a gharry it is not polemoniaceous. sent2: if the dockage does not lexicalize tetrahydrocannabinol then it is not a kind of a fondler and does not lexicalize refinement. sent3: that the porcupine lexicalizes Pinter and lexicalizes tetrahydrocannabinol hold if the dockage is not polemoniaceous. sent4: the fact that the waters is a kind of a moratorium and is not a kind of a kat is false if the great-uncle is an overhaul. sent5: something is not a mash and it is not astronautic if it is ovular. sent6: if something is stemless it is a kind of a looseness. sent7: the great-uncle is stemless. sent8: the mausoleum does lexicalize Pinter if the waters is not a mash and it is not astronautic. sent9: if the mausoleum lexicalizes Pinter the serow is a gharry. sent10: the fact that the waters is stemless if the great-uncle is stemless hold. sent11: if the fact that the mausoleum is algometric but it is not stemless does not hold the serow is not a looseness. sent12: the serow lexicalizes gallina if the dockage is polemoniaceous. sent13: that the mausoleum does not lexicalize Pinter is not wrong. sent14: the great-uncle is a kind of an overhaul if there exists something such that that it is not a kind of an overhaul and is a kind of a megalopolis is false. sent15: there is something such that the fact that it is not an overhaul and it is a megalopolis is not right. sent16: the fact that the dockage is polemoniaceous hold if it is not a fondler and does not lexicalize refinement. sent17: something is non-algometric if the fact that it is both a moratorium and not a kat is not correct. sent18: if the serow is a mash then the dockage is a mash. sent19: something lexicalizes gallina but it is not a gharry if it is non-astronautic. sent20: if there exists something such that it is a gharry then the dockage does not lexicalize gallina and/or is not polemoniaceous. sent21: something that is not a looseness is ovular and a mash. sent22: something is non-astronautic if it is a mash. sent23: the mausoleum is a kind of a gharry but it does not lexicalize Pinter if that the serow lexicalizes gallina is right. sent24: the fact that the mausoleum is a kind of a gharry that does not lexicalize Pinter is not right. sent25: something does not lexicalize tetrahydrocannabinol if it does not lexicalize gallina. ; $proof$ = 
void -> assump1: Let's assume that the dockage does not lexicalize tetrahydrocannabinol.; sent2 & assump1 -> int1: the dockage is not a kind of a fondler and it does not lexicalize refinement.; int1 & sent16 -> int2: the dockage is polemoniaceous.; int2 & sent12 -> int3: the fact that the serow lexicalizes gallina is correct.; int3 & sent23 -> int4: the mausoleum is a kind of a gharry but it does not lexicalize Pinter.; int4 & sent24 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __PROVED__