Anne is furry. Dave is quiet. Gary is young. Harry is nice. If Anne is nice and Anne is smart then Anne is white.
Gary is nice.
@0: Anne is furry.[(triple1)] Dave is quiet.[(triple2)] Gary is young.[(triple3)] Harry is nice.[(triple4)]