Anne is blue. Charlie is blue. Fiona is smart. Harry is young. All furry, white things are nice. If something is smart and furry then it is young. White things are furry. If something is young then it is nice. If something is kind and white then it is furry. If something is young and white then it is kind.
Charlie is not kind.
@0: Anne is blue.[(triple1)] Charlie is blue.[(triple2)] Fiona is smart.[(triple3)] Harry is young.[(triple4)] @1: Harry is nice.[(((triple4) -> rule4))]