Charlie is furry. Charlie is kind. Erin is kind. If someone is furry and not round then they are rough. All furry people are not green.
Charlie is not rough.
@0: Charlie is furry.[(triple1)] Charlie is kind.[(triple2)] Erin is kind.[(triple3)] @1: Charlie is not green.[(((triple1) -> rule2))]