4orass2

Theorem.

Arguments:

(pr), (pr), (pr), (pr),

Assertions:

((()())(()()))

Proof:

Hyp	Ref	Line	Expr
	4orass	1	((()())(()()))
	orcom	2	(()())
2	bi.bldor>	3	((()())(()()))
1, 3	bitr	4	((()())(()()))