Bob is white. Charlie is white. Gary is not cold. Harry is kind. If Charlie is red then Charlie is not cold. Furry, green things are red. If something is green and not furry then it is not cold. Nice, white things are cold. Green, red things are not kind. Nice, furry things are kind. All nice, white things are kind. White things are green.
Charlie is green.
@0: Bob is white.[(triple1)] Charlie is white.[(triple2)] Gary is not cold.[(triple3)] Harry is kind.[(triple4)] @1: Bob is green.[(((triple1) -> rule8))] Charlie is green.[(((triple2) -> rule8))]