Anne is big. Fiona is not quiet. Harry is quiet. If Harry is red and Harry is not quiet then Harry is nice. If Harry is quiet and Harry is not red then Harry is kind. If something is quiet then it is kind. Nice things are not kind. All red things are kind. If something is young and not quiet then it is nice. Red, kind things are not young. If something is kind and not quiet then it is not big.
Harry is white.
@0: Anne is big.[(triple1)] Fiona is not quiet.[(triple2)] Harry is quiet.[(triple3)] @1: Harry is kind.[(((triple3) -> rule3))]