Anne is quiet. Anne is red. Anne is round. Anne is smart. Bob is quiet. Bob is not smart. Dave is kind. Dave is quiet. Dave is red. Dave is round. Dave is young. Gary is kind. Gary is quiet. Gary is smart. Gary is young. If something is kind and not smart then it is red. All blue, red things are quiet. If something is red and not quiet then it is young.
Gary is not smart.
@0: Anne is quiet.[(triple1)] Anne is red.[(triple2)] Anne is round.[(triple3)] Anne is smart.[(triple4)] Bob is not smart.[(triple6)] Bob is quiet.[(triple5)] Dave is kind.[(triple7)] Dave is quiet.[(triple8)] Dave is red.[(triple9)] Dave is round.[(triple10)] Dave is young.[(triple11)] Gary is kind.[(triple12)] Gary is quiet.[(triple13)] Gary is smart.[(triple14)] Gary is young.[(triple15)]