Anne is not cold. Anne is kind. Anne is nice. Anne is red. Anne is round. Anne is white. Anne is young. Bob is cold. Bob is not red. Bob is round. Bob is white. Bob is not young. If something is cold and not young then it is not kind.
Bob is not kind.
@0: Anne is kind.[(triple2)] Anne is nice.[(triple3)] Anne is not cold.[(triple1)] Anne is red.[(triple4)] Anne is round.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7)] Bob is cold.[(triple8)] Bob is not red.[(triple9)] Bob is not young.[(triple12)] Bob is round.[(triple10)] Bob is white.[(triple11)] @1: Bob is not kind.[(((triple8 triple12) -> rule1))]