Charlie is smart. Dave is not nice. Fiona is blue. Gary is kind. If something is blue then it is rough. If something is rough and not kind then it is quiet.
Gary is kind.
@0: Charlie is smart.[(triple1)] Dave is not nice.[(triple2)] Fiona is blue.[(triple3)] Gary is kind.[(triple4)] @1: Fiona is rough.[(((triple3) -> rule1))]