@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <#>.

  {[ :lh [ :lh :1; :op :times; :rh :u]; :op :plus;
     :rh [ :lh :1; :op :times; :rh :v; :foo :bar]] :is :5} :simult
                                    #^^^^^^^^^^^extra property              
{[ :lh [ :lh :2; :op :times; :rh :u]; :op :plus;
   :rh [ :lh :4; :op :times; :rh :v]] :is :14}.

 {{{[ :lh [ :lh :a; :op :times; :rh :u]; :op :plus;
      :rh [ :rh :v; :op :times; :lh :b]] :is :c} :simult
           #^^^^^^              ^^^^^^swapped position
   {[ :lh [ :lh :d; :op :times; :rh :u]; :op :plus;
      :rh [ :lh :e; :op :times; :rh :v]] :is :f}} log:implies
   {{:u :is [ :lh [ :lh [ :lh :b; :op :times; :rh :f]; :op :minus;
                    :rh [ :lh :e; :op :times; :rh :c]]; :op :slash;
              :rh [ :lh [ :lh :b; :op :times; :rh :d]; :op :minus;
                    :rh [ :lh :e; :op :times; :rh :a]]]} :simult
    {:v :is [ :lh [ :lh [ :lh :a; :op :times; :rh :f]; :op :minus;
                    :rh [ :lh :d; :op :times; :rh :c]]; :op :slash;
              :rh [ :lh [ :lh :a; :op :times; :rh :e]; :op :minus;
                    :rh [ :lh :d; :op :times; :rh :b]]]}}
} a log:Truth; log:forAll :a, :b, :c, :d, :e, :f.