Anne is nice. Anne is quiet. Anne is red. Bob is not blue. Bob is quiet. Bob is red. Bob is not young. Dave is not big. Dave is not quiet. Harry is kind. All kind, quiet things are young. If something is kind and not nice then it is quiet. If something is nice and not young then it is not blue.
Anne is kind.
@0: Anne is nice.[(triple1)] Anne is quiet.[(triple2)] Anne is red.[(triple3)] Bob is not blue.[(triple4)] Bob is not young.[(triple7)] Bob is quiet.[(triple5)] Bob is red.[(triple6)] Dave is not big.[(triple8)] Dave is not quiet.[(triple9)] Harry is kind.[(triple10)]