Charlie is green. Charlie is round. Charlie is smart. Dave is blue. Dave is cold. Dave is nice. Dave is not round. Blue things are smart. If something is cold and not rough then it is blue.
Dave is nice.
@0: Charlie is green.[(triple1)] Charlie is round.[(triple2)] Charlie is smart.[(triple3)] Dave is blue.[(triple4)] Dave is cold.[(triple5)] Dave is nice.[(triple6)] Dave is not round.[(triple7)] @1: Dave is smart.[(((triple4) -> rule1))]