Erin is kind. Gary is white. All red, white things are not furry. All young things are white. Kind, young things are white. Furry, young things are quiet. If Gary is white then Gary is kind. If Gary is not white and Gary is not furry then Gary is quiet.
Gary is not white.
@0: Erin is kind.[(triple1)] Gary is white.[(triple2)] @1: Gary is kind.[(((triple2) -> rule5))]