Anne is rough. Charlie is round. Dave is young. Gary is quiet. All rough people are quiet. If Gary is nice then Gary is white. If Anne is rough then Anne is round. If someone is quiet and not white then they are young. All nice, blue people are young. If Anne is not quiet then Anne is nice.
Gary is not quiet.
@0: Anne is rough.[(triple1)] Charlie is round.[(triple2)] Dave is young.[(triple3)] Gary is quiet.[(triple4)] @1: Anne is quiet.[(((triple1) -> rule1))] Anne is round.[(((triple1) -> rule3))]