Charlie is blue. Charlie is cold. Charlie is quiet. If someone is round and furry then they are not cold. Round people are cold. All furry, blue people are not nice. If Charlie is blue then Charlie is nice. All smart people are round. Cold, smart people are quiet.
Charlie is not blue.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is quiet.[(triple3)] @1: Charlie is nice.[(((triple1) -> rule4))]