Erin is furry. Gary is round. Harry is rough. If something is cold and round then it is big. Round, rough things are big. Cold, furry things are rough. Round, rough things are not white. All big, furry things are white. All kind things are not white. Big things are kind. If something is furry then it is not kind.
Harry is not kind.
@0: Erin is furry.[(triple1)] Gary is round.[(triple2)] Harry is rough.[(triple3)] @1: Erin is not kind.[(((triple1) -> rule8))]