Charlie is red. Charlie is round. Charlie is white. Dave is white. Erin is cold. Erin is green. Erin is red. All rough things are white. If something is red then it is white.
Charlie is not green.
@0: Charlie is red.[(triple1)] Charlie is round.[(triple2)] Charlie is white.[(triple3 OR ((triple1) -> rule2))] Dave is white.[(triple4)] Erin is cold.[(triple5)] Erin is green.[(triple6)] Erin is red.[(triple7)] @1: Erin is white.[(((triple7) -> rule2))]