Dave is white. Fiona is nice. Gary is white. Harry is cold. If Dave is furry then Dave is kind. If something is nice then it is kind. If Gary is nice then Gary is kind. White, cold things are big. All kind, red things are cold. Kind, red things are white.
Harry is furry.
@0: Dave is white.[(triple1)] Fiona is nice.[(triple2)] Gary is white.[(triple3)] Harry is cold.[(triple4)] @1: Fiona is kind.[(((triple2) -> rule2))]