Anne is red. Bob is green. Charlie is smart. Gary is young. Kind things are smart. All kind things are green. Red things are white.
Gary is young.
@0: Anne is red.[(triple1)] Bob is green.[(triple2)] Charlie is smart.[(triple3)] Gary is young.[(triple4)] @1: Anne is white.[(((triple1) -> rule3))]