| | | Produced Output |
The output is a set of boxes on which the input is guaranteed to be true, a set of boxes, on which the input is guaranteed to be false, and a set of boxes for which we do not know anything. For graphical output the true boxes are green and the false boxes red.
| | | Produced Output |