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