Charlie is nice. Dave is not nice. Fiona is rough. Gary is not quiet. All nice things are green. Nice, rough things are not round. If Dave is rough and Dave is round then Dave is green.
Gary is not quiet.
@0: Charlie is nice.[(triple1)] Dave is not nice.[(triple2)] Fiona is rough.[(triple3)] Gary is not quiet.[(triple4)] @1: Charlie is green.[(((triple1) -> rule1))]