that the Carthusian is not a dimer if the telpherage is a kind of a gin is not right.
sent1: if the telpherage gins and/or is technological then the Carthusian is not a kind of a dimer. sent2: the snowsuit is a kind of a sympathectomy and/or it is lexicostatistic. sent3: if the telpherage does gin then that the Carthusian is a dimer is not false. sent4: the Carthusian is a dimer. sent5: if the telpherage is technological the Carthusian is not a kind of a dimer. sent6: everything is both not a apparentness and not a Parthenium. sent7: something is not technological if it is not a dimer and not a gin.
void -> assump1: Let's assume that the telpherage gins.; assump1 -> int1: the telpherage gins or it is technological or both.; int1 & sent1 -> int2: the Carthusian is not a dimer.; [assump1] & int2 -> hypothesis;
the myelencephalon is not technological.
sent7 -> int3: the myelencephalon is not technological if it is not a kind of a dimer and is not a gin.; sent6 -> int4: the telpherage is not a apparentness and it is not a kind of a Parthenium.;
$hypothesis$ = that the Carthusian is not a dimer if the telpherage is a kind of a gin is not right. ; $context$ = sent1: if the telpherage gins and/or is technological then the Carthusian is not a kind of a dimer. sent2: the snowsuit is a kind of a sympathectomy and/or it is lexicostatistic. sent3: if the telpherage does gin then that the Carthusian is a dimer is not false. sent4: the Carthusian is a dimer. sent5: if the telpherage is technological the Carthusian is not a kind of a dimer. sent6: everything is both not a apparentness and not a Parthenium. sent7: something is not technological if it is not a dimer and not a gin. ; $proof$ = 
void -> assump1: Let's assume that the telpherage gins.; assump1 -> int1: the telpherage gins or it is technological or both.; int1 & sent1 -> int2: the Carthusian is not a dimer.; [assump1] & int2 -> hypothesis; __DISPROVED__