Charlie is blue. Charlie is kind. Erin is green. If something is rough and blue then it is quiet. Kind things are red. All quiet, blue things are kind.
Charlie is green.
@0: Charlie is blue.[(triple1)] Charlie is kind.[(triple2)] Erin is green.[(triple3)] @1: Charlie is red.[(((triple2) -> rule2))]