Anne is kind. Charlie is big. Charlie is furry. Dave is not smart. Harry is kind. Harry is rough. Harry is white. If someone is furry and kind then they are red. If Charlie is kind then Charlie is white.
Dave is smart.
@0: Anne is kind.[(triple1)] Charlie is big.[(triple2)] Charlie is furry.[(triple3)] Dave is not smart.[(triple4)] Harry is kind.[(triple5)] Harry is rough.[(triple6)] Harry is white.[(triple7)]