Anne is red. Bob is nice. Dave is kind. Quiet, red people are cold. If someone is red then they are round. All kind people are quiet. Red people are kind. If someone is round then they are nice. If Dave is kind then Dave is red.
Dave is not red.
@0: Anne is red.[(triple1)] Bob is nice.[(triple2)] Dave is kind.[(triple3)] @1: Anne is kind.[(((triple1) -> rule4))] Anne is round.[(((triple1) -> rule2))] Dave is quiet.[(((triple3) -> rule3))] Dave is red.[(((triple3) -> rule6))] @2: Anne is nice.[(((((triple1) -> rule2)) -> rule5))] Anne is quiet.[(((((triple1) -> rule4)) -> rule3))] Dave is cold.[(((((triple3) -> rule3) ((triple3) -> rule6)) -> rule1))] Dave is round.[(((((triple3) -> rule6)) -> rule2))] @3: Anne is cold.[(((((((triple1) -> rule4)) -> rule3) triple1) -> rule1))] Dave is nice.[(((((((triple3) -> rule6)) -> rule2)) -> rule5))]