Anne is not blue. Anne is kind. Anne is red. Anne is rough. Anne is smart. Bob is red. Bob is smart. Bob is young. Charlie is smart. Dave is kind. Young, red people are blue. If someone is blue then they are kind.
Bob is kind.
@0: Anne is kind.[(triple2)] Anne is not blue.[(triple1)] Anne is red.[(triple3)] Anne is rough.[(triple4)] Anne is smart.[(triple5)] Bob is red.[(triple6)] Bob is smart.[(triple7)] Bob is young.[(triple8)] Charlie is smart.[(triple9)] Dave is kind.[(triple10)] @1: Bob is blue.[(((triple8 triple6) -> rule1))] @2: Bob is kind.[(((((triple8 triple6) -> rule1)) -> rule2))]