Description: Syntax for a 3-hypothesis virtual deduction. (New usage is discouraged.)
wff (. ph ,. ps ,. ch ->. th ).