Bob is furry. Charlie is quiet. Dave is young. Harry is quiet. If something is green and not furry then it is nice. Furry, nice things are quiet. All big things are cold. Cold, green things are not big. If Charlie is furry and Charlie is not green then Charlie is nice. If something is big and not quiet then it is young.
Harry is quiet.
@0: Bob is furry.[(triple1)] Charlie is quiet.[(triple2)] Dave is young.[(triple3)] Harry is quiet.[(triple4)]