Charlie is smart. Dave is green. Gary is white. Kind, furry people are cold. If someone is white and cold then they are furry. All cold, smart people are green. If someone is green and white then they are rough. All cold, kind people are green. If someone is white then they are rough.
Gary is white.
@0: Charlie is smart.[(triple1)] Dave is green.[(triple2)] Gary is white.[(triple3)] @1: Gary is rough.[(((triple3) -> rule6))]