Anne is quiet. Charlie is quiet. Fiona is round. Gary is round. If someone is blue then they are big. Nice people are quiet. If Anne is rough and Anne is not white then Anne is not nice. Rough, big people are blue. Big people are blue. If Fiona is round then Fiona is rough.
Anne is not quiet.
@0: Anne is quiet.[(triple1)] Charlie is quiet.[(triple2)] Fiona is round.[(triple3)] Gary is round.[(triple4)] @1: Fiona is rough.[(((triple3) -> rule6))]