The Laws of Natural Deduction in Inference by DNA Computer

<table>The reaction of inference for <svg height="8.3999996" id="M84" style="vertical-align:-0.17555pt" version="1.1" viewbox="0 0 16.700001 8.3999996" width="16.700001" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="matrix(.017,-0,0,-.017,.062,8.1)"><path d="M548 311q-21 -57 -59 -94t-89 -37q-53 0 -128 52q-55 38 -84 38q-39 0 -70.5 -23t-45.5 -60l-32 12q21 57 59 94t89 37q53 0 128 -52q55 -38 84 -38q39 0 70.5 23t45.5 60z" id="x223C"></path></g><g transform="matrix(.017,-0,0,-.017,9.106,8.1)"><path d="M412 109l18 -18q-41 -56 -86 -80.5t-105 -24.5q-95 0 -155 65q-59 65 -59 171q0 109 68 180t169 71q66 0 110 -31t44 -79q0 -29 -18.5 -46.5t-49.5 -17.5q-26 0 -41 19t-15 54q0 31 -3 44q-4 26 -39 26q-39 0 -61.5 -45t-22.5 -124q0 -102 37 -161t102 -59q57 0 107 56z
" id="x1D41C"></path></g>
</svg> and a <svg height="9.4375" id="M85" style="vertical-align:-0.36366pt" version="1.1" viewbox="0 0 10.1 9.4375" width="10.1" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="matrix(.017,-0,0,-.017,.062,9.375)"><path d="M574 0h-62l-217 479h-2l-217 -479h-62l249 548h62z" id="x2227"></path></g>
</svg><b>  b  </b><svg height="7.6374998" id="M86" style="vertical-align:-0.0pt" version="1.1" viewbox="0 0 19.174999 7.6374998" width="19.174999" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="matrix(.017,-0,0,-.017,2.9,7.575)"><path d="M901 255q-71 -62 -185 -187l-22 15l102 147h-727v50h727l-102 147l22 15q114 -125 185 -187z" id="x2192"></path></g>
</svg><b>  c</b>.</table>

The Scientific World Journal

The Laws of Natural Deduction in Inference by DNA Computer

Figure 7