Charlie is nice. Gary is green. All green, furry people are smart. All round, smart people are nice. Green people are kind.
Charlie is rough.
@0: Charlie is nice.[(triple1)] Gary is green.[(triple2)] @1: Gary is kind.[(((triple2) -> rule3))]