Question

Using truth tree decomposition, determine the consistency of the set of propositions. Include line numbers and justifications, and recover the truth values if consistent.

{A and B, ~B v C}