Charlie is nice. Charlie is red. Charlie is smart. Charlie is white. Dave is quiet. Gary is green. Gary is not quiet. If Dave is quiet then Dave is red.
Charlie is not smart.
@0: Charlie is nice.[(triple1)] Charlie is red.[(triple2)] Charlie is smart.[(triple3)] Charlie is white.[(triple4)] Dave is quiet.[(triple5)] Gary is green.[(triple6)] Gary is not quiet.[(triple7)] @1: Dave is red.[(((triple5) -> rule1))]