Harry is kind. Harry is not nice. Harry is not red. If something is blue then it is not young. If something is nice then it is red. If Harry is nice then Harry is quiet. If Harry is young and Harry is not quiet then Harry is big. If something is quiet then it is kind. All nice things are kind. If something is young and not nice then it is kind. If something is blue and not big then it is not kind.
Harry is blue.
@0: Harry is kind.[(triple1)] Harry is not nice.[(triple2)] Harry is not red.[(triple3)]