Charlie is rough. Erin is cold. Cold things are kind. If something is big then it is cold. If Charlie is quiet then Charlie is not furry. If something is cold and not kind then it is not quiet. White, furry things are rough. Cold things are not rough.
Erin is kind.
@0: Charlie is rough.[(triple1)] Erin is cold.[(triple2)] @1: Erin is kind.[(((triple2) -> rule1))] Erin is not rough.[(((triple2) -> rule6))]