Charlie is quiet. Dave is not red. Fiona is nice. Gary is nice. If Charlie is not red then Charlie is not nice. If Gary is kind and Gary is not big then Gary is white. Quiet people are rough.
Charlie is not quiet.
@0: Charlie is quiet.[(triple1)] Dave is not red.[(triple2)] Fiona is nice.[(triple3)] Gary is nice.[(triple4)] @1: Charlie is rough.[(((triple1) -> rule3))]