INPUT:
A | pr
C | pr
	B | as
	C ^ B | ^i 2, 3
B->C^B | ->i 3, 4

OUTPUT:
1. A BECAUSE: PREMISE <SOUND> [0]
2. C BECAUSE: PREMISE <SOUND> [0]
3.  > B BECAUSE: ASSUMPTION <SOUND> [1]
4.  > (C CONJUNCTION B) BECAUSE: CONJUNCTION INTRODUCTION 2 3 <SOUND> [1]
5. (B IMPLICATION (C CONJUNCTION B)) BECAUSE: IMPLICATION INTRODUCTION 3 4 <SOUND> [0]