Anne is furry. Bob is quiet. Fiona is kind. Gary is blue. If something is big and not kind then it is red. If Anne is kind then Anne is quiet.
Gary is not blue.
@0: Anne is furry.[(triple1)] Bob is quiet.[(triple2)] Fiona is kind.[(triple3)] Gary is blue.[(triple4)]