[Mon](chemicalLaw
    [F]M(implies
        (and
          (isa ?BASE ttBaseTypeWeak)
          (elementOf ?BASE ?SOLUTES)
          (extentCardinality ?SOLUTES 2)
          (elementOf ?SALT ?SOLUTES)
          (genls ?SALT tSaltChemicalSubstance)
          (totalSolutesInAqueousSolution ?SAMPLE ?SOLUTES)
          (commonIonTypeInCompoundTypes ?BASE ?SALT ??ION))
        (isa ?SAMPLE tAqueousBufferSolution)))
[Mon](chemicalLaw
    [B]M(not
        (and
          (genls ?SALT tSaltChemicalSubstance)
          (elementOf ?SALT ?SOLUTE-SET)
          (extentCardinality ?SOLUTE-SET 2)
          (elementOf ?BASE ?SOLUTE-SET)
          (isa ?BASE ttBaseTypeStrong)
          (totalSolutesInAqueousSolution ?SOLN ?SOLUTE-SET)
          (isa ?SOLN tAqueousBufferSolution))))
[B](implies
    (trueSentence
      (exists ?OTHER-TYPE
        (and
          (isa ?OTHER-TYPE ttBaseTypeBronstedLowry)
          (solutionOf ?SOLUTION-TYPE
            (tColOfLiquidFn tWater) ?OTHER-TYPE))))
    (abnormal
      (vTheListFn ?COMPOUND ?SOLUTION-TYPE)
      [B]M(implies
          (and
            (genls ?COMPOUND tChemicallyAcidicSubstance)
            (solutionOf ?SOLUTION-TYPE
              (tColOfLiquidFn tWater) ?COMPOUND))
          (genls ?SOLUTION-TYPE tAcidicSolutionLiquid))))
[Inf](genls tMagnesiumBromide tStrongElectrolyte)
[Inf](solubleInTypetype tPotassiumNitrite
    (tColOfLiquidFn tWater))
[F](implies
    (and
      (isa ?COMPONENT-1 tAqueousSolution)
      (mixtureComponents ?MIXTURE ?COMPONENT-1)
      (mixtureComponents ?MIXTURE ?COMPONENT-2)
      (partsPartitionBinary ?MIXTURE ?COMPONENT-1 ?COMPONENT-2)
      (instantiatesCompoundType ?COMPONENT-2 ?COMPOUND)
      (solubleInTypetype ?COMPOUND
        (tColOfLiquidFn tWater)))
    (isa ?MIXTURE tAqueousSolution))
[F](implies
    (and
      (isa ?COMPONENT-1 tAqueousSolution)
      (mixtureComponents ?MIXTURE ?COMPONENT-1)
      (mixtureComponents ?MIXTURE ?COMPONENT-2)
      (partsPartitionBinary ?MIXTURE ?COMPONENT-1 ?COMPONENT-2)
      (isa ?COMPONENT-2 ?ELEMENT)
      (isa ?ELEMENT ttElementalSubstanceType)
      (solubleInTypetype ?ELEMENT
        (tColOfLiquidFn tWater)))
    (isa ?MIXTURE tAqueousSolution))
[F](implies
    (and
      (isa ?COMPONENT-1 tAqueousSolution)
      (mixtureComponents ?MIXTURE ?COMPONENT-1)
      (mixtureComponents ?MIXTURE ?COMPONENT-2)
      (isa ?COMPONENT-2 tAqueousSolution)
      (partsPartitionBinary ?MIXTURE ?COMPONENT-1 ?COMPONENT-2))
    (isa ?MIXTURE tAqueousSolution))
[Mon](chemicalLaw
    [B]M(implies
        (and
          (isa ?SOLUTION-1 tAqueousSolution)
          (different ?SOLUTION-1 ?SOLUTION-2)
          (isa ?SOLUTION-2 tAqueousSolution)
          (genls ?STRONG-ELECTROLYTE tStrongElectrolyte)
          (genls ?WEAK-ELECTROLYTE tWeakElectrolyte)
          (molarityOfSubstanceInSample ?SOLUTION-2 ?WEAK-ELECTROLYTE ?CONCENTR)
          (molarityOfSubstanceInSample ?SOLUTION-1 ?STRONG-ELECTROLYTE ?CONCENTR))
        (largerThan ?SOLUTION-1 ?SOLUTION-2 electricalResistanceOfObject)))
[F](implies
    (and
      (isa ?SOLUTION tAqueousSolution)
      (mixtureComponents ?MIXTURE ?SOLUTION)
      (mixtureComponents ?MIXTURE ?WATER)
      (isa ?WATER tWater)
      (partsPartitionBinary ?MIXTURE ?SOLUTION ?WATER))