Charlie is furry. Charlie is not green. Charlie is kind. Charlie is not nice. Charlie is rough. Charlie is round. Dave is furry. Dave is not kind. Dave is rough. Dave is not round. Harry is furry. Harry is not green. Harry is kind. Harry is nice. Harry is not round. Harry is smart. If Dave is round then Dave is not furry.
Charlie is furry.
@0: Charlie is furry.[(triple1)] Charlie is kind.[(triple3)] Charlie is not green.[(triple2)] Charlie is not nice.[(triple4)] Charlie is rough.[(triple5)] Charlie is round.[(triple6)] Dave is furry.[(triple7)] Dave is not kind.[(triple8)] Dave is not round.[(triple10)] Dave is rough.[(triple9)] Harry is furry.[(triple11)] Harry is kind.[(triple13)] Harry is nice.[(triple14)] Harry is not green.[(triple12)] Harry is not round.[(triple15)] Harry is smart.[(triple16)]