Anne is smart. Charlie is round. Harry is blue. All smart, kind things are red. If something is round and red then it is furry. Rough things are blue. If something is smart then it is blue. If something is kind then it is round. Furry, blue things are kind. If Harry is round then Harry is furry. If Harry is kind then Harry is smart.
Charlie is rough.
@0: Anne is smart.[(triple1)] Charlie is round.[(triple2)] Harry is blue.[(triple3)] @1: Anne is blue.[(((triple1) -> rule4))]