Anne is smart. Bob is green. Charlie is cold. Dave is white. If something is green then it is nice. Young, green things are smart.
Charlie is young.
@0: Anne is smart.[(triple1)] Bob is green.[(triple2)] Charlie is cold.[(triple3)] Dave is white.[(triple4)] @1: Bob is nice.[(((triple2) -> rule1))]