Anne is not blue. Bob is kind. Charlie is kind. Dave is not round. Kind things are round. If something is blue and kind then it is round. Round things are blue. All red, white things are not blue. Round things are kind. All blue, kind things are not red.
Dave is not kind.
@0: Anne is not blue.[(triple1)] Bob is kind.[(triple2)] Charlie is kind.[(triple3)] Dave is not round.[(triple4)] @1: Bob is round.[(((triple2) -> rule1))] Charlie is round.[(((triple3) -> rule1))] @2: Bob is blue.[(((((triple2) -> rule1)) -> rule3))] Charlie is blue.[(((((triple3) -> rule1)) -> rule3))] @3: Bob is not red.[(((((((triple2) -> rule1)) -> rule3) triple2) -> rule6))] Charlie is not red.[(((((((triple3) -> rule1)) -> rule3) triple3) -> rule6))]