Dave is furry. Erin is kind. Gary is smart. Harry is nice. If something is furry and smart then it is red. If something is kind and smart then it is furry.
Erin is kind.
@0: Dave is furry.[(triple1)] Erin is kind.[(triple2)] Gary is smart.[(triple3)] Harry is nice.[(triple4)]