document.write( "Question 983344: How do you solve these two proofs.\r
\n" ); document.write( "\n" ); document.write( "SamCol(a,b)
\n" ); document.write( "b=c
\n" ); document.write( "c=d
\n" ); document.write( "____
\n" ); document.write( "SamCol(a,d)\r
\n" ); document.write( "\n" ); document.write( "and\r
\n" ); document.write( "\n" ); document.write( "Smaller(a,b)
\n" ); document.write( "Smaller(b,c)
\n" ); document.write( "_____
\n" ); document.write( "Smaller(a,c)
\n" ); document.write( "
\n" ); document.write( "

Algebra.Com's Answer #604124 by solver91311(24713)\"\" \"About 
You can put this solution on YOUR website!
\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "What are you talking about?\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "John
\n" ); document.write( "
\n" ); document.write( "My calculator said it, I believe it, that settles it\r
\n" ); document.write( "\n" ); document.write( "
\n" ); document.write( "
\n" );