Bob is smart. Fiona is young. Gary is quiet. Harry is not green. If something is furry then it is not young. If something is smart and not kind then it is not young. If Gary is smart then Gary is not quiet. If something is furry then it is smart. All kind things are smart. If Fiona is kind then Fiona is young. If Bob is quiet and Bob is furry then Bob is young. If Harry is rough then Harry is young.
Gary is quiet.
@0: Bob is smart.[(triple1)] Fiona is young.[(triple2)] Gary is quiet.[(triple3)] Harry is not green.[(triple4)]