Amends README of logic command line program with examples
if two-formula-input.