Dave is red. Erin is red. Erin is smart. Gary is quiet. Gary is smart. Harry is not quiet. Harry is young. If Gary is quiet and Gary is young then Gary is furry.
Gary is smart.
@0: Dave is red.[(triple1)] Erin is red.[(triple2)] Erin is smart.[(triple3)] Gary is quiet.[(triple4)] Gary is smart.[(triple5)] Harry is not quiet.[(triple6)] Harry is young.[(triple7)]