Charlie is rough. Erin is quiet. If something is quiet and cold then it is white. All rough things are kind. Kind, furry things are quiet.
Erin is not kind.
@0: Charlie is rough.[(triple1)] Erin is quiet.[(triple2)] @1: Charlie is kind.[(((triple1) -> rule2))]