Anne is blue. Anne is cold. Anne is kind. Anne is nice. Anne is quiet. Anne is smart. Dave is cold. Dave is nice. Dave is quiet. Dave is smart. Nice, cold people are kind. All furry, smart people are cold.
Anne is not quiet.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is kind.[(triple3 OR ((triple4 triple2) -> rule1))] Anne is nice.[(triple4)] Anne is quiet.[(triple5)] Anne is smart.[(triple6)] Dave is cold.[(triple7)] Dave is nice.[(triple8)] Dave is quiet.[(triple9)] Dave is smart.[(triple10)] @1: Dave is kind.[(((triple8 triple7) -> rule1))]