Anne is blue. Anne is kind. Dave is cold. Dave is not kind. Dave is not quiet. Dave is smart. Dave is white. Dave is young. Erin is white. Harry is cold. Harry is quiet. Harry is young. All quiet people are white. All kind people are quiet.
Dave is not young.
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2)] Dave is cold.[(triple3)] Dave is not kind.[(triple4)] Dave is not quiet.[(triple5)] Dave is smart.[(triple6)] Dave is white.[(triple7)] Dave is young.[(triple8)] Erin is white.[(triple9)] Harry is cold.[(triple10)] Harry is quiet.[(triple11)] Harry is young.[(triple12)] @1: Anne is quiet.[(((triple2) -> rule2))] Harry is white.[(((triple11) -> rule1))] @2: Anne is white.[(((((triple2) -> rule2)) -> rule1))]