Anne is red. Dave is white. Erin is young. Gary is white. If Erin is red and Erin is smart then Erin is white. All blue things are white. If Erin is red then Erin is blue. Kind, young things are nice. If something is young and blue then it is smart. If something is smart and nice then it is kind. All blue, kind things are nice. Young things are smart.
Dave is young.
@0: Anne is red.[(triple1)] Dave is white.[(triple2)] Erin is young.[(triple3)] Gary is white.[(triple4)] @1: Erin is smart.[(((triple3) -> rule8))]