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