Anne is furry. Anne is green. Dave is green. Dave is kind. Gary is not furry. Gary is kind. Gary is rough. If something is furry and round then it is rough. Smart, quiet things are rough. If something is smart then it is not kind. If something is smart then it is furry. All round things are quiet. Rough, smart things are green.
Dave is smart.
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Dave is green.[(triple3)] Dave is kind.[(triple4)] Gary is kind.[(triple6)] Gary is not furry.[(triple5)] Gary is rough.[(triple7)]