www.biomedcentral.com

<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML">
<mml:mrow> <mml:mtable columnalign="left"> <mml:mtr columnalign="left"> <mml:mtd columnalign="left"> <mml:mrow> <mml:mtext>If</mml:mtext>
<mml:mtext> </mml:mtext>
<mml:mi>A</mml:mi>
<mml:mtext> </mml:mtext>
<mml:mtext>is</mml:mtext>
<mml:mtext> </mml:mtext>
<mml:mtext>true,</mml:mtext>
<mml:mtext> </mml:mtext>
<mml:mtext>then</mml:mtext>
<mml:mtext> </mml:mtext>
<mml:mi>B</mml:mi>
<mml:mtext> </mml:mtext>
<mml:mtext>is</mml:mtext>
<mml:mtext> </mml:mtext>
<mml:mtext>probably</mml:mtext>
<mml:mtext> </mml:mtext>
<mml:mtext>true</mml:mtext>
<mml:mo>.</mml:mo>
</mml:mrow>
</mml:mtd>
</mml:mtr>
<mml:mtr columnalign="left"> <mml:mtd columnalign="left"> <mml:mrow> <mml:mi>B</mml:mi>
<mml:mtext> </mml:mtext>
<mml:mtext>is</mml:mtext>
<mml:mtext> </mml:mtext>
<mml:mtext>false</mml:mtext>
<mml:mo>.</mml:mo>
</mml:mrow>
</mml:mtd>
</mml:mtr>
<mml:mtr columnalign="left"> <mml:mtd columnalign="left"> <mml:mrow> <mml:mo>∴</mml:mo>
<mml:mi>A</mml:mi>
<mml:mtext> </mml:mtext>
<mml:mtext>is</mml:mtext>
<mml:mtext> </mml:mtext>
<mml:mtext>false</mml:mtext>
<mml:mtext>.</mml:mtext>
</mml:mrow>
</mml:mtd>
</mml:mtr>
</mml:mtable>
</mml:mrow>
</mml:math>