Bob is green. Charlie is young. Erin is white. Gary is young. If Erin is young then Erin is red. If Erin is white then Erin is nice. If Charlie is nice and Charlie is red then Charlie is young.
Erin is not red.
@0: Bob is green.[(triple1)] Charlie is young.[(triple2)] Erin is white.[(triple3)] Gary is young.[(triple4)] @1: Erin is nice.[(((triple3) -> rule2))]