Dave is white. Erin is green. Fiona is quiet. Gary is nice. All cold things are quiet. Quiet, green things are white. Quiet, cold things are white. All kind, cold things are green. If Gary is white then Gary is green. If something is green then it is nice.
Gary is nice.
@0: Dave is white.[(triple1)] Erin is green.[(triple2)] Fiona is quiet.[(triple3)] Gary is nice.[(triple4)] @1: Erin is nice.[(((triple2) -> rule6))]