Charlie is not blue. Charlie is kind. Charlie is quiet. Erin is not big. Erin is not blue. Gary is kind. Harry is not blue. Harry is furry. Harry is quiet. Harry is rough. All big, quiet people are rough. All blue people are not kind. If someone is rough and not furry then they are kind.
Gary is big.
@0: Charlie is kind.[(triple2)] Charlie is not blue.[(triple1)] Charlie is quiet.[(triple3)] Erin is not big.[(triple4)] Erin is not blue.[(triple5)] Gary is kind.[(triple6)] Harry is furry.[(triple8)] Harry is not blue.[(triple7)] Harry is quiet.[(triple9)] Harry is rough.[(triple10)]