{:and=>
  {:left=>{:var=>"1"@3},
   :right=>{:or=>{:left=>{:var=>"2"@13}, :right=>{:var=>"3"@21}}}}}
[["1", "2"], ["1", "3"]]