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 not furry.
@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)]