Erin is blue. Erin is young. Gary is blue. Gary is rough. Gary is young. Harry is blue. Harry is young. If Gary is kind and Gary is not furry then Gary is rough. If something is blue and not furry then it is not red.
Erin is smart.
@0: Erin is blue.[(triple1)] Erin is young.[(triple2)] Gary is blue.[(triple3)] Gary is rough.[(triple4)] Gary is young.[(triple5)] Harry is blue.[(triple6)] Harry is young.[(triple7)]