Dave is furry. Dave is not kind. Dave is not quiet. Dave is young. Gary is furry. Gary is not green. Gary is kind. Harry is furry. Harry is green. Harry is quiet. If someone is smart then they are green.
Dave is not green.
@0: Dave is furry.[(triple1)] Dave is not kind.[(triple2)] Dave is not quiet.[(triple3)] Dave is young.[(triple4)] Gary is furry.[(triple5)] Gary is kind.[(triple7)] Gary is not green.[(triple6)] Harry is furry.[(triple8)] Harry is green.[(triple9)] Harry is quiet.[(triple10)]