Charlie is blue. Charlie is green. Charlie is kind. Erin is white. Fiona is furry. Gary is furry. Gary is green. Kind, blue people are nice. All kind, furry people are nice. All kind people are nice.
Charlie is not kind.
@0: Charlie is blue.[(triple1)] Charlie is green.[(triple2)] Charlie is kind.[(triple3)] Erin is white.[(triple4)] Fiona is furry.[(triple5)] Gary is furry.[(triple6)] Gary is green.[(triple7)] @1: Charlie is nice.[(((triple3) -> rule3) OR ((triple3 triple1) -> rule1))]